NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
FIRMA: Bidirectional Formal-Informal Mathematical Language Alignment with Proof-Theoretic Grounding
Maryam Fatima
|
Paper Details:
Month: November
Year: 2025
Location: Suzhou, China
Venue:
MathNLP |
WS |
Citations
URL
No Citations Yet
https://github.com/smfatima3/FIRMA
https://huggingface.co/FrenzyMath/REAL-Prover
https://huggingface.co/datasets/internlm/Lean-
https://huggingface.co/ByteDance-Seed/BFS-
Field Of Study