Jul 1, 2026
AxDafny: Agentic Verified Code Generation in Dafny
AxDafny: Agentic Verified Code Generation in Dafny This paper introduces AxDafny, an agentic framework designed to automate the generation of both executable...
Explore Franklin AI
AI Research Papers
Understand new AI research with readable explanations and links to the original papers.
Jul 1, 2026
RAISE: LLM-based Automated Heuristic Design with Robust Adversary Instance Search
RAISE: LLM-based Automated Heuristic Design with Robust Adversary Instance Search Automated Heuristic Design (AHD) uses Large Language Models (LLMs) to creat...
Jul 1, 2026
Adaptive Cluster-First Route-Second Decomposition for Industrial-Scale Vehicle Routing
Adaptive Cluster-First Route-Second Decomposition for Industrial-Scale Vehicle Routing This paper introduces a new approach to solving large-scale Capacitate...
Jul 1, 2026
Large Databases Need Small, Open-Weight Language Models
Large Databases Need Small, Open-Weight Language Models This paper addresses the high financial and operational barriers associated with using proprietary la...
Jul 1, 2026
PolicyGuard: From Organizational Policies to Neuro-SymbolicCompliance Review Engines
PolicyGuard: From Organizational Policies to Neuro-Symbolic Compliance Review Engines Organizations often struggle to ensure that legal documents, such as No...
Jul 1, 2026
An Agentic AI Framework to Accelerate Scientific Discovery in Plant Phenotyping
This paper introduces an agentic AI framework designed to transform plant phenotyping from a slow, manual process into an interactive, autonomous discovery p...
Jul 1, 2026
Creating Intelligence: A Computational Foundation for AGI
Creating Intelligence: A Computational Foundation for AGI introduces a new theory of mind that moves away from the standard deep learning approach of using c...
Jul 1, 2026
Self-Study Reconsidered: The Hidden Fragility of Learning from Self-Generated QA
Self-Study Reconsidered: The Hidden Fragility of Learning from Self-Generated QA Language models are increasingly trained using synthetic question-answer (QA...
Jul 1, 2026
TreeAgent: A Generalizable Multi-Agent Framework for Automated Bias Labeling in Forestry via Compiled Expert Rules and Vision-Language Models
TreeAgent: A Generalizable Multi-Agent Framework for Automated Bias Labeling in Forestry via Compiled Expert Rules and Vision-Language Models Forestry expert...
Jun 30, 2026
Latent Actions from Factorized Transition Effects under Agent Ambiguity
Latent Action Models (LAMs) are designed to learn how to control an agent by observing video transitions, such as how a robot moves from one frame to the nex...
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.