A Formalization Experiment - Sophie Morel
Michael Detlefsen - Axiomatization, Formalization, and Completeness
Formalization of Temporal and Spatial Constraints of Bimanual Manipulation Categories (IROS 2024)
Wolfram - Towards a Computational Formalization for Foundations of Medicine
[ProLaLa'23] Designing an experiment for comparing user interfaces for legal formalization
Autoformalizing 130k Lines of Formal Topology in 2 Weeks?
Lucas Randrianarivelo - Red Edge Prototypes
Towards a Computational Formalization for Foundations of Medicine
Axiomatic Methodology of Formalization as a Way to Intellectual Analysis in Computer Science
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications
CCN 2019: GS-6.2: A Memory-Augmented Reinforcement Learning Model of Food Caching Behaviour in Birds
Geoffrey Irving: The Mandelbrot set is connected [and other Lean explorations] (Feb 29 2024)
Towards the Semantic Formalization of Science - ACM SAC 2020 Poster ID1910
Hypothesis Formalization: Empirical Findings, Software Limitations, Design Implications
Formalizing a proof in Lean using Github copilot and canonical
The Creation, Evolution, and Formalization of New Notational Systems | Ian Arawjo (07-25-2025)
Multimodal AI Creates New Physics: H1, H2, and LaTeX Formalism with Gemini 3 pro
Nature of Code, Code of Nature - KISD Experiments 01
Steve Jobs - Organizational Structure
James Bach - The Test Design Starting Line: Hypotheses - Keynote PeakIT004
![[ProLaLa'23] Designing an experiment for comparing user interfaces for legal formalization](https://img.youtube.com/vi/pPejiXL3Mlw/0.jpg)
![Geoffrey Irving: The Mandelbrot set is connected [and other Lean explorations] (Feb 29 2024)](https://img.youtube.com/vi/i5Y6yskMupI/0.jpg)
