Cover Image

Learning Interestingness in Automated Mathematical Theory Formation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tsoukalas, George, Saha, Rahul, Thakur, Amitayush, Reguyal, Sabrina, Chaudhuri, Swarat
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
by: Tsoukalas, George, et al.
Published: (2024)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
by: Thakur, Amitayush, et al.
Published: (2025)

Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models
by: Wen, Yeming, et al.
Published: (2024)

Batched Low-Rank Adaptation of Foundation Models
by: Wen, Yeming, et al.
Published: (2023)

An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
by: Surina, Anja, et al.
Published: (2026)

Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
by: Jain, Abhinav, et al.
Published: (2024)

Formal Mathematical Reasoning: A New Frontier in AI
by: Yang, Kaiyu, et al.
Published: (2024)

Neurosymbolic Grounding for Compositional World Models
by: Sehgal, Atharva, et al.
Published: (2023)

Interestingness as an Inductive Heuristic for Future Compression Progress
by: Herrmann, Vincent, et al.
Published: (2026)

OMNI: Open-endedness via Models of human Notions of Interestingness
by: Zhang, Jenny, et al.
Published: (2023)

Neuroscience-Inspired Analyses of Visual Interestingness in Multimodal Transformers
by: Immertreu, Mathis, et al.
Published: (2026)

Symbolic Regression with a Learned Concept Library
by: Grayeli, Arya, et al.
Published: (2024)

Efficient Tree-Structured Deep Research with Adaptive Resource Allocation
by: Nie, Lunyiu, et al.
Published: (2025)

OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code
by: Faldor, Maxence, et al.
Published: (2024)

Lean Finder: Semantic Search for Mathlib That Understands User Intents
by: Lu, Jialin, et al.
Published: (2025)

Automated Adversarial Collaboration for Advancing Theory Building in the Cognitive Sciences
by: Chandramouli, Suyog, et al.
Published: (2026)

Learning Quantitative Automata Modulo Theories
by: Hsiung, Eric, et al.
Published: (2024)

FormulaCode: Evaluating Agentic Optimization on Large Codebases
by: Sehgal, Atharva, et al.
Published: (2026)

E3: Issue-Level Backtesting for Automated Research Critique
by: Chaudhuri, Yashwardhan, et al.
Published: (2026)

Automated Meta Prompt Engineering for Alignment with the Theory of Mind
by: Baughman, Aaron, et al.
Published: (2025)

AnveshanaAI: A Multimodal Platform for Adaptive AI/ML Education through Automated Question Generation and Interactive Assessment
by: Thakur, Rakesh, et al.
Published: (2025)

A Radon-Nikodým Perspective on Anomaly Detection: Theory and Implications
by: Mehendale, Shlok, et al.
Published: (2025)

Automated Question Generation on Tabular Data for Conversational Data Exploration
by: Chaudhuri, Ritwik, et al.
Published: (2024)

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
by: Liu, Yuanhang, et al.
Published: (2025)

M2F: Automated Formalization of Mathematical Literature at Scale
by: Wang, Zichen, et al.
Published: (2026)

LTL-Constrained Policy Optimization with Cycle Experience Replay
by: Shah, Ameesh, et al.
Published: (2024)

Similarity Field Theory: A Mathematical Framework for Intelligence
by: Ng, Kei-Sing
Published: (2025)

Governing Automated Strategic Intelligence
by: Kruus, Nicholas, et al.
Published: (2025)

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation
by: Xu, Huimin, et al.
Published: (2025)

A New Approach Towards Autoformalization
by: Patel, Nilay, et al.
Published: (2023)

AutoTrain: No-code training for state-of-the-art models
by: Thakur, Abhishek
Published: (2024)

A Mathematical Theory of Agency and Intelligence
by: Hafez, Wael, et al.
Published: (2026)

Towards Knowledge-Infused Automated Disease Diagnosis Assistant
by: Tomar, Mohit, et al.
Published: (2024)

KisMATH: Do LLMs Have Knowledge of Implicit Structures in Mathematical Reasoning?
by: Saha, Soumadeep, et al.
Published: (2025)

Reformulation Techniques for Automated Planning: A Systematic Review
by: Alarnaouti, Diaeddin, et al.
Published: (2023)

Improvement of human health lifespan with hybrid group pose estimation methods
by: Chaudhuri, Arindam
Published: (2025)

Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory
by: Jentzen, Arnulf, et al.
Published: (2023)

Automated Invoice Data Extraction: Using LLM and OCR
by: Khanchandani, Khushi, et al.
Published: (2025)