🔬 Refinement Types - emschwartz · Scour

Faithful Autoformalization via Roundtrip Verification and Repair 🔤Tokenization

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods 🕯️Candle

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types 📏Linear Types

Catching the Fly: Practical Challenges in Making Blockchain FlyClient Real 🪂Fly.io

Verification of Neural Networks (Lecture Notes) 📊Vector Databases

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation 📐TLA+

Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering 🔍AI Interpretability

Counterexample-Guided Interval Weakening 🧮SMT Solvers

Theory-Grounded Evaluation Exposes the Authorship Gap in LLM Personalization 👤Search Personalization

Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong 📐TLA+

HalluCiteChecker: A Lightweight Toolkit for Hallucinated Citation Detection and Verification in the Era of AI Scientists 🔎Tantivy

A Class AAA Solar Testbed for Reproducible Long-Term Characterization of Energy-Harvesting Systems 🔋Energy Storage Systems

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation 🎮Deterministic Simulation

ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation 🔄Eventual Consistency

Verification of Quantum Protocols Adopting Physically Admissible Schedulers 📋MCP

Rethinking Math Reasoning Evaluation: A Robust LLM-as-a-Judge Framework Beyond Symbolic Rigidity 🧮SMT Solvers

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting 🧮SMT Solvers

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs 🔤Tokenization

AdapTime: Enabling Adaptive Temporal Reasoning in Large Language Models 📊ModernBERT

Verification of Correlated Equilibria in Concurrent Reachability Games 🧵Concurrency Models

Log in to enable infinite scrolling