Newsroom

• Oct 27, 2026Company

  

  Aristotle Expands Into Formal Verification for Software and Hardware, Starting With C and Verilog

  Today we’re bringing Aristotle to software and hardware, starting with C and Verilog.

  Read

• Feb 11, 2026Community

  

  Powering the Future of MSI with Inaugural $300,000 Donation to Lean FRO

• Jan 22, 2026Community

  

  Harmonic Announces Mathematician Sponsorships to Accelerate Mathematical Superintelligence

• Jan 19, 2026Engineering

  

  Open-sourcing python-memtools: a memory analyzer for Python programs

• Dec 16, 2025Engineering

  

  Open Sourcing pbcc: A Faster, Leaner Protobuf Compiler for Python

• Dec 3, 2025Research

  

  Aristotle Learns to Code, Achieving New State-of-the-Art of 96.8% on Code Verification Benchmark

• Nov 25, 2025Company

  

  Announcing Our Series C Funding

• Oct 2, 2025Research

  

  How Aristotle Achieved its IMO Gold Medal-Level Performance

• Sep 11, 2025Engineering

  

  Running Lean at Scale

• Aug 14, 2025Engineering

  

  Introducing Yuclid+Newclid 3.0

• Jul 28, 2025Research

  

  Aristotle Achieves Gold Medal-Level Performance at the International Mathematical Olympiad, iOS App Beta Launch

• Jul 9, 2025Company

  

  Harmonic Announces Series B Funding

• Sep 23, 2024Company

  

  Harmonic Closes Series A Funding Round

• Jul 9, 2024Research

  

  One month in - A new SOTA on MiniF2F and more

• Jun 10, 2024Company

  

  Introducing Harmonic: Our Mission and First Results