Extending SMT Solving with Non-Ground Clause Learning
Satisfiability Modulo Theories (SMT) solvers are essential tools for automated reasoning, but they often struggle when dealing with complex, non-ground formu...
Explore Franklin AI
Understand new AI research with readable explanations and links to the original papers.
Satisfiability Modulo Theories (SMT) solvers are essential tools for automated reasoning, but they often struggle when dealing with complex, non-ground formu...
On the Regularization Landscape for the Linear Recommendation Models This paper investigates why a wide variety of modern recommendation algorithms, despite...
Geospatial AI, Dataverse Metadata, and the Study of Place-Based Government This paper addresses a significant challenge in academic data management: the lack...
Distributed Optimization of Modular Production Systems using Model-based Reinforcement Learning with Inverse Models Modern manufacturing requires systems tha...
Beyond Confidence: Stability-Aware Test-Time Adaptation for LLM Reasoning Large Language Models (LLMs) are powerful, but they often struggle with complex rea...
SIRF: A Spec-Internalized Risk Foundation Model for Industrial Content Risk Control introduces a new approach to industrial content moderation that prioritiz...
ActMap: Single-Pass Uncertainty Quantification from Generation-Time Activation Maps Large language models often provide answers with high confidence, even wh...
From Queries to Narratives: Cultural Heritage Data Stories for Knowledge Graph Exploration and Quality Assessment This paper addresses the challenge of makin...
From Parameters to Answers: How LLMs Retrieve and Use Their Internal Knowledge This research investigates how Large Language Models (LLMs) transition from pr...
From Document Silos to Process Intelligence: A Multi-Layer Knowledge Graph for CMC Process Development Chemistry, Manufacturing, and Controls (CMC) process d...
Start with the overview to understand the paper’s main idea, then follow its original paper link for the methods, results and limitations.
Use Submit Research to send the original paper URL and explain why it is useful. An editor reviews the suggestion before publication.