Adarsh Kumarappan Adarsh321123

• Seattle, WA

Highlights

• Pro

Pinned Loading

1. BanditPAM C++ implementation and Python package

   C++ 659 51

2. LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously lear…

   Python 83 20

3. Clone of the Jetpack Joyride game written in C for Caltech's Software Design class

   C 8 1

4. Python

5. Lean

6. This synthetic benchmark dataset is designed to evaluate models based on features extracted from user telemetry data.

   Python 11 5