Spaces:

DineshAI
/

uiw8P2JGbW

Running

App Files Files Community

uiw8P2JGbW / pages

137 kB

Ctrl+K

Ctrl+K

1 contributor

History: 3 commits

DineshAI's picture

Add Z3 SMT second proof checker; fix C3 Part 2; add Table 1 characterization page

bbd6643 verified 6 days ago

claim-verification-summary
Add Z3 SMT second proof checker; fix C3 Part 2; add Table 1 characterization page 6 days ago
conclusion
Add symbolic proof certificates (C1/C2/C3/C6) + full counterexample suite; relabel legacy verifier as historical 7 days ago
counterexamples-c4-c5-table-1
Add symbolic proof certificates (C1/C2/C3/C6) + full counterexample suite; relabel legacy verifier as historical 7 days ago
finite-corroboration
Add symbolic proof certificates (C1/C2/C3/C6) + full counterexample suite; relabel legacy verifier as historical 7 days ago
methods
Update logbook: Repro - Model Monotonicity in Autobidding Auctions 8 days ago
negative-controls
Update logbook: Repro - Model Monotonicity in Autobidding Auctions 8 days ago
run-command-and-pinned-environment
Add Z3 SMT second proof checker; fix C3 Part 2; add Table 1 characterization page 6 days ago
six-claim-verifier
Add symbolic proof certificates (C1/C2/C3/C6) + full counterexample suite; relabel legacy verifier as historical 7 days ago
symbolic-proofs-c1-c2-c3-c6
Add Z3 SMT second proof checker; fix C3 Part 2; add Table 1 characterization page 6 days ago
table-1-monotonicity-characterization
Add Z3 SMT second proof checker; fix C3 Part 2; add Table 1 characterization page 6 days ago
tests
Update logbook: Repro - Model Monotonicity in Autobidding Auctions 8 days ago
index.md

1.48 kB
Add Z3 SMT second proof checker; fix C3 Part 2; add Table 1 characterization page 6 days ago