AtharvaHunts

Computer Engineering student with hands-on experience in Java, Flutter, and Machine Learning through my internships. Co-founded RajInfotech, a personal venture focused on selling refurbished laptops, gaining practical experience in business execution, customer engagement, and technical development. Strong academic record with a problem-solving mindset and the ability to bridge software development with real-world requirements.

Machine Learning Intern at AlgoAsylum (2026-06 – Present)

• Developing an AI-assisted mathematical theorem-proving system integrating Lean 4 and LLMs for automated proof generation and formal verification.
• Investigating LLM-guided formal reasoning, using Lean to machine-check generated proofs and improve the reliability of AI-assisted mathematical reasoning.
• Exploring the system as a potential research contribution for publication in the area of AI-assisted formal theorem proving.

Flutter Developer Intern at TheCodersHub (2025-12 – 2026-03)

• Delivered 8+ features across production apps, including TheCodersHub and Jiremali Samaj, driving 100+ organic downloads through word-of-mouth, with zero marketing spend.
• Streamlined task management and workflow tracking using Odoo CRM, supporting Agile/Scrum project execution across the development team.

Artificial Intelligence and Data Analytics Intern at Edunet Foundations, AICTE (2025-01 – 2025-02)

• Developed a Power BI dashboard for sustainable supply chain analytics. Gained hands-on experience turning raw data into clear visual reports.

Bachelor of Computer Engineering in Computer Engineering – Marathwada Mitra Mandal's College of Engineering (2023 – 2027)

Higher Secondary Certificate (HSC) in PCMB – Laxmanrao Apte Junior College, Deccan, Pune (2022 – 2023)

Secondary School Certificate (SSC) – St.Vincent's Boys High School, Camp, Pune (2020 – 2021)