Aug 31, 2026
Prove2Me: An Open Collaborative Platform for Scaling Math Formalization
Prove2Me is an open-source platform designed to scale the formalization of mathematics by enabling humans and AI agents to collaborate on Lean 4 proofs.
Explore Franklin AI
AI Research Papers
Understand new AI research with readable explanations and links to the original papers.
Aug 31, 2026
Training Communication-Efficient Mixture-of-Experts Language Models with Layer Re-Configuration
Training Communication-Efficient Mixture-of-Experts Language Models with Layer Re-Configuration explained Researchers Simeng Sun and Roger Waleffe introduce...
Aug 31, 2026
InstructMesh: Selective Refinement of Generative 3D Models for Fabrication
InstructMesh is an interactive tool designed to help users repair 3D models generated by AI so they can be successfully fabricated.
Aug 31, 2026
Program Learning with Verifiable Rewards: Symbolic Backpropagation for Post-Training LLMs
Program Learning with Verifiable Rewards (PLVR) is a post-training method that moves reasoning capabilities out of a language model’s weights and into an exp...
Aug 31, 2026
Logos: An Agent Harness on a Cross-Process Bus
Logos is a cross-process agent harness designed to move the composition and assembly of software components out of a single host process and onto a distribut...
Aug 31, 2026
Learning to Use Tools: Reinforcement Learning for Tool-Integrated Mathematical Reasoning
Learning to Use Tools: Reinforcement Learning for Tool-Integrated Mathematical Reasoning explores how integrating external calculator tools and reinforcement...
Aug 31, 2026
VERA-8B: Evidence-Grounded Audit Risk Reasoning from SEC Filings
VERA-8B is an end-to-end audit reasoning system designed to identify financial risks in SEC filings before enforcement actions occur.
Aug 31, 2026
AcrossVAM1.0: Particle World Modeling for Text-Assisted Robot Video Prediction
AcrossVAM1.0 is a lightweight video prediction model designed to help robots anticipate future scenes by separating motion reasoning from visual appearance.
Aug 31, 2026
COVER: Identifiable Evaluation of Coalition Routing
COVER: Identifiable Evaluation of Coalition Routing introduces a methodology to measure the performance of multi-agent systems when they select different tea...
Aug 28, 2026
Sophistication in GenAI Use: Field Evidence from a Large Firm
This paper examines how back-office employees at KPMG LLP use generative AI (genAI) in their daily work, specifically focusing on the "sophistication" of the...
Good to know
How do I use these AI research explainers?
Start with the overview to understand the paper’s main idea, then follow its original paper link for the methods, results and limitations.
Can I suggest a research paper?
Use Submit Research to send the original paper URL and explain why it is useful. An editor reviews the suggestion before publication.