AI ALIGNMENT FORUMTags
AF

Formal Proof

EditHistorySubscribe
Discussion (0)
Help improve this page
EditHistorySubscribe
Discussion (0)
Help improve this page
Formal Proof
Random Tag
Contributors
2Pablo Stafforini
1plex

A Formal Proof is a finite sequence of steps from axiom(s) or previous derived proof(s) which strictly follow the allowed rules of inference of the mathematical system in which it exists. They are used to establish statements as true within a mathematical framework in a way which can be independently verified with extremely high certainty, with the most reliable flavor of proof being machine-checked proofs generated by proof assistants since they have even less room for human error.

Posts tagged Formal Proof
1
6Squeezing foundations research assistance out of formal logic narrow AI.
Donald Hobson
7mo
0
1
41Davidad's Bold Plan for Alignment: An In-Depth Explanation
Charbel-Raphael Segerie, Gabin
5mo
2
0
20Alignment proposals and complexity classes
Evan Hubinger
3y
26
0
10Weak HCH accesses EXP
Evan Hubinger
3y
0
0
5Infra-Domain proofs 1
Diffractor
3y
0
0
5Infra-Domain Proofs 2
Diffractor
3y
0
0
4Proofs Section 2.1 (Theorem 1, Lemmas)
Diffractor
3y
0
0
4Proofs Section 2.3 (Updates, Decision Theory)
Diffractor
3y
0
0
4Proofs Section 2.2 (Isomorphism to Expectations)
Diffractor
3y
0
0
4Proofs Section 1.2 (Mixtures, Updates, Pushforwards)
Diffractor
3y
0
0
4Proofs Section 1.1 (Initial results to LF-duality)
Diffractor
3y
0
0
2Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Donald Hobson
5y
0
0
4Logical inductor limits are dense under pointwise convergence
Sam Eisenstat
7y
0
0
3Counterfactual Induction (Algorithm Sketch, Fixpoint proof)
Diffractor
4y
0
Add Posts