Published:
Happy New Year everyone! 😉 At the very start of the new year, I’d like to share our recent release LeanCat-1 (arXiv:2512.24796). To the best of our knowledge, this is the first benchmark suite dedicated specifically to formal proof and category theory.
Published:
A quick announcement: our latest paper from Prof. Yi-Fu Cai’s group and me is now online:
Published:
This study adopts the viewpoint of a hypothetical observer on TRAPPIST-1e and uses N-body integrations to generate ephemerides and observable sky phenomena in the compact TRAPPIST-1 system. It asks which classical and relativistic gravitational signatures would be testable there: Keplerian regularities (retrograde motion, transits, mean-motion correlations, and Great Inequality-like behavior) are directly observable, but relativistic effects are comparatively faint.
Published:
Form & Function: A Linguistic-Semiotic Investigation on Modern Physics: Develops a compact framework for physics discourse using linguistic semiotics—Peirce’s sign–interpretant–object triad, Saussurean oppositions, and Hallidayan Systemic Functional Linguistics with multimodality—to model modern physics language as a structured, multimodal sign system. It operationalizes the framework via (i) a semiotic comparison of interpretations of quantum mechanics and (ii) an SFL/discourse analysis of Einstein’s 1905 On the Electrodynamics of Moving Bodies, yielding a reusable template for analyzing and standardizing scientific writing across languages.