Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs
An AI research paper on Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs.
Engineering 5.0 · Research 7.0 · Business 4.0
aipentium - AI Papers with Code, Datasets and Engineering Notes
aipentium: browse curated AI and robotics papers about humanoid robots, embodied AI, robot manipulation, VLA models, Diffusion Policy, Sim2Real and robot foundation models.
Retroactive Chain-of-Thought (RetroCoT): Forensic Reconstruction Prompts as a Safety Diagnostic Across Model Generations
An AI research paper on Retroactive Chain-of-Thought (RetroCoT): Forensic Reconstruction Prompts as a Safety Diagnostic Across Model Generations.
Engineering 5.0 · Research 7.0 · Business 4.0
URSA: Chemistry-Aware Benchmark for Utilitarian Retrosynthesis Assessment
An AI research paper on URSA: Chemistry-Aware Benchmark for Utilitarian Retrosynthesis Assessment.
Engineering 5.0 · Research 7.0 · Business 4.0
RSPO: Reward-Swap Policy Optimization for Multi-Turn LLM Agents
An AI research paper on RSPO: Reward-Swap Policy Optimization for Multi-Turn LLM Agents.
Engineering 5.0 · Research 7.0 · Business 4.0
Dashboard2Code: Evaluating Multimodal Models on Reconstructing Interactive Dashboards
An AI research paper on Dashboard2Code: Evaluating Multimodal Models on Reconstructing Interactive Dashboards.
Engineering 5.0 · Research 7.0 · Business 4.0
Turning Off-Policy Tokens On-Policy: A Plug-in Approach for Improving LLM Alignment
An AI research paper on Turning Off-Policy Tokens On-Policy: A Plug-in Approach for Improving LLM Alignment.
Engineering 5.0 · Research 7.0 · Business 4.0
Evaluating the Effect of Linguistic Relatedness on Cross-Lingual Transfer in Large Multilingual Automatic Speech Recognition
An AI research paper on Evaluating the Effect of Linguistic Relatedness on Cross-Lingual Transfer in Large Multilingual Automatic Speech Recognition.
Engineering 5.0 · Research 7.0 · Business 4.0
CARL: Constraint-Aware Reinforcement Learning for Planning with LLMs
An AI research paper on CARL: Constraint-Aware Reinforcement Learning for Planning with LLMs.
Engineering 5.0 · Research 7.0 · Business 4.0
Medi-Gemma: A Hybrid Clinical Decision Support System Integrating Deterministic EMR Analytics and Retrieval-Augmented Generation
An AI research paper on Medi-Gemma: A Hybrid Clinical Decision Support System Integrating Deterministic EMR Analytics and Retrieval-Augmented Generation.
Engineering 5.0 · Research 7.0 · Business 4.0
STAPO: Selective Trajectory-Aware Policy Optimization for LLM Agent Training
An AI research paper on STAPO: Selective Trajectory-Aware Policy Optimization for LLM Agent Training.
Engineering 5.0 · Research 7.0 · Business 4.0
LLM for the development of FCM
An AI research paper on LLM for the development of FCM.
Engineering 5.0 · Research 7.0 · Business 4.0
TACTIC-KG: Toward Small Agent Teams for Cyber Threat Intelligence Knowledge Graph Construction
An AI research paper on TACTIC-KG: Toward Small Agent Teams for Cyber Threat Intelligence Knowledge Graph Construction.
Engineering 5.0 · Research 7.0 · Business 4.0
Hyperparameter Transfer in Graph Neural Networks
An AI research paper on Hyperparameter Transfer in Graph Neural Networks.
Engineering 5.0 · Research 7.0 · Business 4.0
Your Agent's Memories Are Not Its Own: Forged Reasoning Attacks on LLM Agent Memory and Defenses
An AI research paper on Your Agent's Memories Are Not Its Own: Forged Reasoning Attacks on LLM Agent Memory and Defenses.
Engineering 5.0 · Research 7.0 · Business 4.0
LLM-Based Test Oracles: Source-of-Authority Taxonomy -- A Systematic Literature Review
An AI research paper on LLM-Based Test Oracles: Source-of-Authority Taxonomy -- A Systematic Literature Review.
Engineering 5.0 · Research 7.0 · Business 4.0
Toward Trustworthy Large Language Model Agents in Healthcare
An AI research paper on Toward Trustworthy Large Language Model Agents in Healthcare.
Engineering 5.0 · Research 7.0 · Business 4.0
Localized LoRA-MoE: Block-wise Low-Rank Experts With Adaptive Routing
An AI research paper on Localized LoRA-MoE: Block-wise Low-Rank Experts With Adaptive Routing.
Engineering 5.0 · Research 7.0 · Business 4.0
ASSEMCAD: Production-Ready CAD Assembly Generation from Natural Language
An AI research paper on ASSEMCAD: Production-Ready CAD Assembly Generation from Natural Language.
Engineering 5.0 · Research 7.0 · Business 4.0
DSpark: Confidence-Scheduled Speculative Decoding with Semi-Autoregressive Generation
An AI research paper on DSpark: Confidence-Scheduled Speculative Decoding with Semi-Autoregressive Generation.
Engineering 5.0 · Research 7.0 · Business 4.0
ProPS: Prompted Profile Synthesis for Natural Language-Conditioned Speaker Embedding Distributions
An AI research paper on ProPS: Prompted Profile Synthesis for Natural Language-Conditioned Speaker Embedding Distributions.
Engineering 5.0 · Research 7.0 · Business 4.0