Research

Research News

1035 stories curated by AInformed · page 19 of 44

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
research

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

Researchers introduced LeanMarathon, a multi-agent AI system designed to help mathematicians formalize and prove complex theorems in the Lean proof assistant. It uses four contract-scoped agents to construct, audit, prove, and repair an evolving blueprint that serves as a formal proof skeleton, natural-language proof graph, and shared system of record, addressing issues like statement drift, tangled dependencies, and context decay.

New Benchmark Tests AI's Ability to Use Visual Aids for Math Problems
research

New Benchmark Tests AI's Ability to Use Visual Aids for Math Problems

Researchers created VAMPS (Visual-Assisted Mathematical Problem Solving), a benchmark to test AI models' ability to solve math problems using visual tools like graphs. This is important because real-world science and engineering often rely on visual aids for problem-solving, and many current AI models struggle when they must use external tools and interpret their visual outputs.

via ArXiv cs.AI#ai#research#math
Researchers Use Graphs to Help AI Think More Like Humans
research

Researchers Use Graphs to Help AI Think More Like Humans

A new study proposes Visual Graph Scaffolds, a method that uses graph structures to improve the reasoning of large language models (LLMs). Unlike prior approaches that treat graphs as external data sources, this technique integrates graphs directly into the model's reasoning process, inspired by how humans use mind maps to organize complex thoughts. The method showed significant improvements on multi-hop question answering tasks.

via ArXiv cs.AI#ai#research#llms