Lean4agent
Published:
Ajeet Kumar
Applied Mathematician with Specialization in Full Stack Machine Learning and Data Science
- New Delhi, India
- Indian Institute of Technology, Delhi
- Google Scholar
- GitHub
- Medium
- X (formerly Twitter)
- YouTube
You May Also Enjoy
How to Build a Build System in C
15 minute read
Published:
How to Build a Build System in C
YTube Downloader — A Native C Command-Line Tool
13 minute read
Published:
YTube Downloader — A Native C Command-Line Tool -> GitHub
Automated LaTeX Research Writing Environment
18 minute read
Published:
Automated LaTeX Research Writing Environment
System Design Part 1
6 minute read
Published: