[1303.4194] The ForMaRE Project - Formal Mathematical Reasoning in Economics

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs. arXiv Operational Status

View PDF HTML (experimental) Abstract:The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e. computer-aided reasoning, within economics. To formal methods, we seek to contribute user experience feedback from new audiences, as well as new challenge problems. In the first project year, we continued earlier game theory studies but then focused on auctions, where we are building a toolbox of formalisations, and have started to study…

saved by

• Matthew Anderson

related reading

• 2510.01346arxiv.org
• Reinforcement Learning and Control as Probabilistic Inference: Tutorial and Reviewarxiv.org
• LLM Post-Training: A Deep Dive into Reasoning Large Language Modelsarxiv.org
• [2305.18654] Faith and Fate: Limits of Transformers on Compositionalityarxiv.org
• Training Strategies for Efficient Embodied Reasoningarxiv.org
• expMath | DARPAdarpa.mil
• [2406.17583] Towards Compositional Interpretability for XAIarxiv.org
• [2406.04219] Multi-Agent Imitation Learning: Value is Easy, Regret is Hardarxiv.org
• Interactive Machine Learning: A State of the Art Reviewarxiv.org
• [2507.13616] From Firms to Computation: AI Governance and the Evolution of Institutionsarxiv.org
• [2402.12875] Chain of Thought Empowers Transformers to Solve Inherently Serial Problemsarxiv.org
• [2503.18825] EconEvals: Benchmarks and Litmus Tests for Economic Decision-Making by LLM Agentsarxiv.org