127,664Total entries

60Added by human

127,604Found by agent

13Categories

Knowledge catalogue

Search: “models”

95,172 results

Research

CAPRI: Contract-Aware Proof Repair for Isabelle

DGX agent

arXiv:2608.13459v1 Announce Type: cross Abstract: We address the use of large language models (LLMs) to help discover Isabelle proofs. An Isabelle build establishes that the submitted theory is accept

researcharxiv-cs-ai

14 Aug 2026

Applications

Search: “models”

CAPRI: Contract-Aware Proof Repair for Isabelle

'Cause' is Mechanistic Narrative within Scientific Domains: An Ordinary Language Philosophical Critique of 'Causal Machine Learning'

Class Geometry as Supervision for Sample-Efficient Open-World Detection

Communication Heterogeneity and Collective Consensus in Neural Cellular Automata

Continual Distillation Learning for Rehearsal-Free Class-Incremental Learning via Decoupled Prompting

DAPD: Dual-Anchored Policy Distillation

Don't classify. Hallucinate!

EgoPHI: Estimating Contact and Force from Egocentric Vision

Enhancing Virtual Agents through SLMs and Edge-Computing: An Exploratory Evaluation of Think and Memory Processes

From Caveman to Expert Analyst: Energy Consumption of Variable LLM Tasks

From Refuse to Richness: Rubric Rewards for Long-Form Hallucination Reinforcement Learning

FSGR: Mitigating Token Frequency Bias for Fair SID-Based Generative Recommendation

How Significant Are the Real Performance Gains? An Unbiased Evaluation Framework for GraphRAG

Identification of Probabilities of Causation: from Recursive to Closed-Form Bounds

In Silico Study for Optimizing Intensity and Focality Electrode Configurations for Directional DBS Under Uncertainty Using Metaheuristic L1L1 Method

Interaction Readiness: A Framework for Building and Evaluating AI Agents in Human Roles

Latent On-Policy Self-Distillation

LLMs Know the Constraint But Do Not Use It: Activation Bottlenecks in Pragmatic Constraint Reasoning

Momentum as Residual-Driven Multiplier Correction for Deep Learning Optimization

Moose: Latent concept learning with reasoning-shortcut awareness in EL^{++}

On the global feature importance for interpretable and trustworthy heat demand forecasting

P2Fusion: Prompt-based Progressive Infrared-Visible Image Fusion via Dual-Prior Distillation

PatientAct: Theory-Grounded Mental Health Client Simulation

Physics-informed distribution of relaxation times estimation and latent-space condition monitoring of solid oxide fuel and electrolysis cells from electrochemical impedance spectroscopy

Physics-Informed Laplace Neural Operator for Solving Partial Differential Equations

PixSDS: Why Latent SDS Makes Noisy Pixels

RoutePack: Expert Placement and Attention-Aware Data Packing for MoE Reinforcement Learning

RulerNet: Learning Perspective-Invariant Ruler Representations for Robust Image Scale Estimation

SDS-LoRA: Overcoming Anisotropic Gradient Scaling in Low-Rank Adaptation

Spatially-Grounded Text-to-Video Generation via Inference-Time Gradient-Free Optimization

Taking Qwen3.5-9B quants to SOTA. New lineup incoming :)

Towards Context-Aware Clinical Motion Understanding in Daily Living at Home: Freezing of Gait Detection with Egocentric Vision

Tracing Provenance and Detecting Tampering with Complementary LLM Watermarks

VALG: An Agentic System for ML Theory Research

Who Speaks Matters: Authority-Aware Multi-View RAG over Italian Parliamentary Proceedings

A New First-Order Meta-Learning Algorithm with Convergence Guarantees

BLADE: Better Language Answers through Dialogue and Explanations

Clustered Randomized Smoothing for Stochastic Prediction Functions

Curvature-Aware Zeroth-Order Optimization for Memory-Efficient Test-Time Adaptation

DCM Bandits: Multiplayer Information Asymmetric Cascading Bandits for Multiple Clicks

Dialogue-Aware Video-to-Music Generation Using Public Domain Film Collections

DonorRank: Donor Language Selection for Low-Resource Cross-Lingual Speech Recognition

Federated Learning for Distributed CNC Tool Wear Prediction

Harness-IF: Evaluating Instruction Following Across Instruction Surfaces in Coding Agents

HyperFix: Combinatorial Nonlinear Correction for Task Vector Merging

If you write rules in an AGENTS.md, this one is worth your time. When a coding agent follows your rule, it may have been going to do that an…

Instruction Alignment for Binary Code Representation Learning

Investigating Learner-Aware Design of LLM-Generated Educational Feedback