Polymorphic Combinatorial Frameworks (PCF): Guiding the Design of Mathematically-Grounded, Adaptive AI Agents
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Pearl, David, Murphy, Matthew, Intriligator, James |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
par: Xia, Hai, et autres
Publié: (2026)
par: Xia, Hai, et autres
Publié: (2026)
Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems
par: Rosin, Christopher D.
Publié: (2025)
par: Rosin, Christopher D.
Publié: (2025)
Reinforced Generation of Combinatorial Structures: Ramsey Numbers
par: Nagda, Ansh, et autres
Publié: (2026)
par: Nagda, Ansh, et autres
Publié: (2026)
Using Code Generation to Solve Open Instances of Combinatorial Design Problems
par: Rosin, Christopher D.
Publié: (2025)
par: Rosin, Christopher D.
Publié: (2025)
Seamless Integration: The Evolution, Design, and Future Impact of Wearable Technology
par: Pearl, David, et autres
Publié: (2025)
par: Pearl, David, et autres
Publié: (2025)
Reinforced Generation of Combinatorial Structures: Hardness of Approximation
par: Nagda, Ansh, et autres
Publié: (2025)
par: Nagda, Ansh, et autres
Publié: (2025)
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
par: Jha, Piyush, et autres
Publié: (2024)
par: Jha, Piyush, et autres
Publié: (2024)
Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
par: Przybocki, Benjamin, et autres
Publié: (2026)
par: Przybocki, Benjamin, et autres
Publié: (2026)
Mathematical exploration and discovery at scale
par: Georgiev, Bogdan, et autres
Publié: (2025)
par: Georgiev, Bogdan, et autres
Publié: (2025)
In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
par: Davila, Randy, et autres
Publié: (2025)
par: Davila, Randy, et autres
Publié: (2025)
Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
par: Feng, Tony, et autres
Publié: (2026)
par: Feng, Tony, et autres
Publié: (2026)
BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design
par: Xiang, Chuyang, et autres
Publié: (2026)
par: Xiang, Chuyang, et autres
Publié: (2026)
Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
par: Stojanović, Vanja, et autres
Publié: (2025)
par: Stojanović, Vanja, et autres
Publié: (2025)
Lifted Inference beyond First-Order Logic
par: Malhotra, Sagar, et autres
Publié: (2023)
par: Malhotra, Sagar, et autres
Publié: (2023)
Designing AI-Agents with Personalities: A Psychometric Approach
par: Huang, Muhua, et autres
Publié: (2024)
par: Huang, Muhua, et autres
Publié: (2024)
Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics
par: Chau, Herman, et autres
Publié: (2025)
par: Chau, Herman, et autres
Publié: (2025)
Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
par: Bäuerle, Alex, et autres
Publié: (2026)
par: Bäuerle, Alex, et autres
Publié: (2026)
Artificial intelligence and machine learning generated conjectures with TxGraffiti
par: Davila, Randy
Publié: (2024)
par: Davila, Randy
Publié: (2024)
Tangles: a structural approach to artificial intelligence in the empirical sciences (Part I)
par: Diestel, Reinhard
Publié: (2020)
par: Diestel, Reinhard
Publié: (2020)
Automated conjecturing with \emph{TxGraffiti}
par: Davila, Randy
Publié: (2024)
par: Davila, Randy
Publié: (2024)
New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search
par: Bhan, Jay, et autres
Publié: (2026)
par: Bhan, Jay, et autres
Publié: (2026)
On CNF formulas irredundant with respect to unit clause propagation
par: Savický, Petr
Publié: (2023)
par: Savický, Petr
Publié: (2023)
The \emph{Optimist}: Towards Fully Automated Graph Theory Research
par: Davila, Randy
Publié: (2024)
par: Davila, Randy
Publié: (2024)
Designing AI-Resilient Assessments Using Interconnected Problems: A Theoretically Grounded and Empirically Validated Framework
par: Ding, Kaihua
Publié: (2025)
par: Ding, Kaihua
Publié: (2025)
Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
par: Labre, Marcelo
Publié: (2026)
par: Labre, Marcelo
Publié: (2026)
An AI enhanced approach to the tree unimodality conjecture
par: Ramos, Eric, et autres
Publié: (2025)
par: Ramos, Eric, et autres
Publié: (2025)
Is ChatGPT More Empathetic than Humans?
par: Welivita, Anuradha, et autres
Publié: (2024)
par: Welivita, Anuradha, et autres
Publié: (2024)
Edge-wise Topological Divergence Gaps: Guiding Search in Combinatorial Optimization
par: Trofimov, Ilya, et autres
Publié: (2025)
par: Trofimov, Ilya, et autres
Publié: (2025)
Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
par: Wang, Yuanhong, et autres
Publié: (2026)
par: Wang, Yuanhong, et autres
Publié: (2026)
Where Paths Collide: A Comprehensive Survey of Classic and Learning-Based Multi-Agent Pathfinding
par: Wang, Shiyue, et autres
Publié: (2025)
par: Wang, Shiyue, et autres
Publié: (2025)
RAG/LLM Augmented Switching Driven Polymorphic Metaheuristic Framework
par: Esfahani, Faramarz Safi, et autres
Publié: (2025)
par: Esfahani, Faramarz Safi, et autres
Publié: (2025)
SafeRx-Agent: A Knowledge-Grounded Multi-Agent Framework for Safe and Explainable Medication Recommendation
par: Wang, Xinyu, et autres
Publié: (2026)
par: Wang, Xinyu, et autres
Publié: (2026)
AI Agents in Engineering Design: A Multi-Agent Framework for Aesthetic and Aerodynamic Car Design
par: Elrefaie, Mohamed, et autres
Publié: (2025)
par: Elrefaie, Mohamed, et autres
Publié: (2025)
Trees and Graphs with Non Log-concave Dominating Set Sequence via AI Tools
par: Du, Alina, et autres
Publié: (2026)
par: Du, Alina, et autres
Publié: (2026)
Pareto-Grid-Guided Large Language Models for Fast and High-Quality Heuristics Design in Multi-Objective Combinatorial Optimization
par: Ha, Minh Hieu, et autres
Publié: (2025)
par: Ha, Minh Hieu, et autres
Publié: (2025)
GUI-ARP: Enhancing Grounding with Adaptive Region Perception for GUI Agents
par: Ye, Xianhang, et autres
Publié: (2025)
par: Ye, Xianhang, et autres
Publié: (2025)
The Parameterized Complexity of Computing the VC-Dimension
par: Foucaud, Florent, et autres
Publié: (2025)
par: Foucaud, Florent, et autres
Publié: (2025)
How Many Features Can a Language Model Store Under the Linear Representation Hypothesis?
par: Garg, Nikhil, et autres
Publié: (2026)
par: Garg, Nikhil, et autres
Publié: (2026)
An Adaptive Responsible AI Governance Framework for Decentralized Organizations
par: Meimandi, Kiana Jafari, et autres
Publié: (2025)
par: Meimandi, Kiana Jafari, et autres
Publié: (2025)
Understanding Iterative Combinatorial Auction Designs via Multi-Agent Reinforcement Learning
par: d'Eon, Greg, et autres
Publié: (2024)
par: d'Eon, Greg, et autres
Publié: (2024)
Documents similaires
-
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
par: Xia, Hai, et autres
Publié: (2026) -
Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems
par: Rosin, Christopher D.
Publié: (2025) -
Reinforced Generation of Combinatorial Structures: Ramsey Numbers
par: Nagda, Ansh, et autres
Publié: (2026) -
Using Code Generation to Solve Open Instances of Combinatorial Design Problems
par: Rosin, Christopher D.
Publié: (2025) -
Seamless Integration: The Evolution, Design, and Future Impact of Wearable Technology
par: Pearl, David, et autres
Publié: (2025)