We spent the last few days at the 29th Argentine Conference on Structural Engineering at the UNC Cultural Center.
We presented our work on a structural engineering agent built on a verified solver, and introduced Stabileo (stabileo.com/es/) to universities across
LambdaClass is a venture studio that works on difficult problems related to distributed systems, ML, compilers and cryptography.


