✅ Formal Verification - ghosh.debasish · Scour

Language Generation in the Limit 🧠LLMs

openreview.net·5d

The Serial Safety Net 🖥️Systems Programming

Large Language Models are Not Table Saws 🧠LLMs

agentultra.com·3d·Hacker News

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 🔧SMT Solvers

Presentation: Building a Future-Proof Observability Platform to Empower Engineers 🌐Distributed Systems

·3d

Substrate-Sensitivity 🔍Mechanistic Interpretability

lesswrong.com·5d

Security and Privacy Compliance for SaaS Startups: A Complete Guide to Tools, Costs, and Implementation 🧪Property-based Testing

calvant.com·6d·DEV

One Word at a Time: Incremental Completion Decomposition Breaks LLM Safety 🧠LLMs

Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoin 🧠Reasoning Models

eprint.iacr.org·5d

A reliability evaluation model for aviation relay based on extended evidential reasoning rule with dynamic correlation 🌐Distributed Systems

sciencedirect.com·6d

Test-Time Safety Alignment 🧪Property-based Testing

Cedar Language 🔁Category Theory

cedarpolicy.com·3d

GoogleCloudPlatform/activation-model-scanner: Verify language model safety before deployment by analyzing activation patterns 🧠Reasoning Models

github.com·14h·Hacker News

[Proposal] Public Fraud Proofs for Just-in-Time Channels 🧪Property-based Testing

delvingbitcoin.org·6d

Why your prompts fail: The "Lost in the Middle" effect and 6 other structural mistakes (with fixes) 📜Constitutional AI

appliedaihub.org·6d·r/PromptEngineering

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent 🔧SMT Solvers

ClassEval-Pro: A Cross-Domain Benchmark for Class-Level Code Generation ⚙️Compilers

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods 🔤PLT

TalentProof/workproof-schema: An open specification for verified professional knowledge graphs 🧠Reasoning Models

github.com·16h·Hacker News

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation 🔤PLT

Sign up or log in to see more results

Log in to enable infinite scrolling