🔧 MLIR - gip · Scour

Feedback Over Form: Why Execution Feedback Matters More Than Pipeline Topology in 1-3B Code Generation ✅Formal Verification

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean ✅Formal Verification

DepthKV: Layer-Dependent KV Cache Pruning for Long-Context LLM Inference 🤖AI

BLAST: Benchmarking LLMs with ASP-based Structured Testing 🤖AI

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation ✅Formal Verification

RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices ✅Formal Verification

Can Code Evaluation Metrics Detect Code Plagiarism? ✅Formal Verification

An Investigation of Linguistic Biases in LLM-Based Recommendations 🤖AI

From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation ✅Formal Verification

Aligned Multi-View Scripts for Universal Chart-to-Code Generation ✅Formal Verification

Learning Reasoning World Models for Parallel Code 🤖AI

Resource-Lean Lexicon Induction for German Dialects 🤖AI

PhysCodeBench: Benchmarking Physics-Aware Symbolic Simulation of 3D Scenes via Self-Corrective Multi-Agent Refinement 🛡️AI Safety

Do Synthetic Trajectories Reflect Real Reward Hacking? A Systematic Study on Monitoring In-the-Wild Hacking in Code Generation 🔒Hardware Security

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification ✅Formal Verification

Dialect vs Demographics: Quantifying LLM Bias from Implicit Linguistic Signals vs. Explicit User Profiles 🤖AI

CharTide: Data-Centric Chart-to-Code Generation via Tri-Perspective Tuning and Inquiry-Driven Evolution 🛡️AI Safety

SSG: Logit-Balanced Vocabulary Partitioning for LLM Watermarking 🧮Homomorphic Encryption

"This Wasn't Made for Me": Recentering User Experience and Emotional Impact in the Evaluation of ASR Bias 🛡️AI Safety

Machine learning and digital pragmatics: Which word category influences emoji use most? 🤖AI

Sign up or log in to see more results

Log in to enable infinite scrolling