Pinned Loading

1. Structured-Argumentation-For-Trust Structured-Argumentation-For-Trust Public

   This repository houses the code for the paper The Argument is the Explanation: Structured Argumentation for Trust in Agents.

   Python 2

2. Memory-Optimized-TRMs Memory-Optimized-TRMs Public

   We present LASER, a method for optimizing activation memory of Tiny Recursive Models (and potentially other models) by ~60% with no noticeable performance loss for efficient Backpropagation Through…

   Python 1

3. ImprovingGCG ImprovingGCG Public

   This repository implements two improvements to GCG for automatic adversarial suffix finding: Soft-GCG, a relaxation that is 43x faster with no performance decrease in our experiments, and Activatio…

   Python

4. ProofGOAT ProofGOAT Public

   Utilizing Optimal Transport to and from natural language and lean proofs in an LLM's embedding space to increase the accuracy of autoformalization of small language models. This is a final project …

   Python 1

5. Eco-Civilization-MDP Eco-Civilization-MDP Public

   Implementation of a Civilization-like game used to study country growth in a competitive environment while accounting for environmental impact, with a Reinforcement Learning approach.

   Python 1 2

6. MacOS-VM-Computer-Use MacOS-VM-Computer-Use Public

   This is a Python-based repository that enables AI assistants (mainly Claude) to control and interact with macOS virtual machines running in UTM. Using VNC for remote control, it provides a seamless…

   Python 1