Back to search

Article

The Optimist: Towards Fully AutomatedGraph Theory Research

2024-12-13

Abstract excerpt

<title>Abstract</title> <p>This paper introduces the Optimist, an autonomous system developed to advanceautomated conjecture generation in graph theory. Leveraging mixed-integer pro-gramming (MIP) and heuristic methods, the Optimist generates conjectures thatboth rediscover established theorems and propose novel inequalities. Througha combination of memory-based computation and agent-like adaptability, theOptimis...

Topics

Open a Topic to create a Post that cites this publication.

Identifiers and source

Literature Corpus work
f442b79b-64ba-5103-95c4-be073e572f08
DOI
10.21203/rs.3.rs-5450820/v1
Open publication

Related research

Semantic proximity does not establish scientific evidence.

Click a neighbor to travelStep 1 · 12 closest
Interactive article relationship graphSelect a related publication card to move it into the centre and load its closest explainable connections. Solid lines are source-backed structured connections. Dashed lines are semantic discovery signals and are not scientific evidence.
The Optimist: Towards Fully AutomatedGraph Theory ResearchDOI 10.21203/rs.3.rs-5450820/v1
Graffiti3 : Compact Theory Libraries for Automated Mathematical DiscoverySemantic proximity
Polynomial-Time Exact Relabeling Fragility Analysis for Empirical Additive Treatment-by-Modifier InteractionsSemantic proximity
Complexity-Aware Symbolic Solvers for Sudoku: Towards Interpretability and Cognitive Alignment in Constraint Problem SolvingSemantic proximity
[Praise of complexity].Semantic proximity
Provably Safe Artificial General Intelligence via Interactive ProofsSemantic proximity
The AI Cosmologist I: An Agentic System for Automated Data AnalysisSemantic proximity
PhysAgent: A Multi-Agent Approach to the Automated Discovery of Physical LawsSemantic proximity
The Computational Challenges of Pursuing Multiple Goals: Network Structure of Goal Systems Predicts Human PerformanceSemantic proximity
When the Device Decides: Calibration-Conditioned Suitability Estimation for Hybrid QAOA–Classical Max-Cut PipelinesSemantic proximity
Stress-Testing the Reasoning Competence of LLMs with Proofs Under Minimal FormalismSemantic proximity
Runtime Monitoring of Static Fairness PropertiesSemantic proximity
The Miltenberger subsystem: is it obsolescent?Semantic proximity
Select a neighboring publication to make it the new centre.