Track synthesis, materials and catalysis as it is published.
Search papers, labs, and topics across Lattice.
Affiliation:
2
0
2
Decades of overlapping, ambiguously named chemical theories can now be mechanically audited: Lean 4 formalization resolves all 136 pairwise relations across photochemistry while settling disputed classical boundaries with exact if-and-only-if proofs.
Transforming LLMs into causal reasoners enables molecular design with unprecedented precision, achieving a 100% success rate on HOMO-LUMO gap predictions.