Shekh Ahammed Adnan Bashir
celestiallion
Post-training. Understanding LLMs. Knowledge Discovery, Long-Horizon (Automated) Reasoning, and Theorem Provers.
Bangladesh University of Engineering and Technology Dhaka, Bangladesh
wonderingabout
i made some/many commits in the meantime in this other account i mean anyways: github.com/codingnewcode , now using wonderingabout as main account i mean
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
MinCoin Satoshi
MinCoinCryptocurrency
MinCoin Cryptocurrency Team Member
MinCoin: The World's #1 Rare Altcoin / Digital Currency
✅No Pre Mine
✅NOT an ICO
✅YES to 100% Decentralized
MinCoin Cryptocurrency