pith. sign in

Clark Barrett

Identifiers

  • name variant Clark Barrett 0.60 · backfill

Papers (24)

  1. DIRECT: When and Where Should You Allocate Test-Time Compute in Embodied Planners? cs.RO · 2026 · author #7
  2. Satisfiability Modulo Extensional Constant Arrays (Extended Version) cs.LO · 2026 · author #3
  3. Automating Bitvector and Finite Field Equivalence Proofs in Lean cs.LO · 2026 · author #3
  4. Faithful Autoformalization via Roundtrip Verification and Repair cs.CL · 2026 · author #3
  5. Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning cs.RO · 2026 · author #4
  6. Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems eess.SY · 2025 · author #4
  7. ClassInvGen: Class Invariant Synthesis using Large Language Models cs.AI · 2025 · author #5
  8. SGLang: Efficient Execution of Structured Language Model Programs cs.AI · 2023 · author #11
  9. H$_2$O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models cs.LG · 2023 · author #10
  10. CVC4SY for SyGuS-COMP 2019 cs.LO · 2019 · author #4
  11. DRAT-based Bit-Vector Proofs in CVC4 cs.LO · 2019 · author #5
  12. Towards Bit-Width-Independent Proofs in SMT Solvers cs.LO · 2019 · author #5
  13. Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking cs.CR · 2018 · author #3
  14. CVC4 at the SMT Competition 2018 cs.LO · 2018 · author #1
  15. On Solving Quantified Bit-Vectors using Invertibility Conditions cs.LO · 2018 · author #4
  16. EMME: a formal tool for ECMAScript Memory Model Evaluation cs.LO · 2018 · author #2
  17. Toward Scalable Verification for Safety-Critical Deep Networks cs.AI · 2018 · author #5
  18. Logic Bug Detection and Localization Using Symbolic Quick Error Detection cs.LO · 2017 · author #3
  19. Provably Minimally-Distorted Adversarial Examples cs.LG · 2017 · author #3
  20. E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods cs.LO · 2017 · author #2
  21. Constraint Solving for Finite Model Finding in SMT Solvers cs.LO · 2017 · author #3
  22. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks cs.AI · 2017 · author #2
  23. On Deciding Local Theory Extensions via E-matching cs.LO · 2015 · author #4
  24. On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4 cs.LO · 2015 · author #5

Mentions

  • 2606.12402 #7 · arxiv_oai · confidence 0.70 Clark Barrett
  • 1508.06827 #4 · backfill · confidence 0.70 Clark Barrett
  • 1502.04464 #5 · backfill · confidence 0.70 Clark Barrett
  • 2605.16820 #3 · arxiv_oai · confidence 0.70 Clark Barrett
  • 2602.08167 #4 · arxiv_oai · confidence 0.70 Clark Barrett
  • 2306.14048 #10 · arxiv_oai · confidence 0.70 Clark Barrett

Frequent Coauthors