kaifronsdal/PyPantograph Fork of stanford-centaur/PyPantograph

A Machine-to-Machine Interaction System for Lean 4.

Language: Python - Size: 46.8 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

kaifronsdal/VLM-Reward-Hacking

Language: Jupyter Notebook - Size: 653 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

kaifronsdal/LoadBearingCoT

Language: Jupyter Notebook - Size: 156 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

kaifronsdal/kaifronsdal.github.io

Language: CSS - Size: 21.3 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

kaifronsdal/Putnam2024

Evaluating Frontier Models on Putnam 2024 Competition

Language: Python - Size: 7.81 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

kaifronsdal/cybench Fork of andyzorigin/cybench

Size: 1.16 GB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

kaifronsdal/inspect_ai Fork of UKGovernmentBEIS/inspect_ai

Inspect: A framework for large language model evaluations

Language: Python - Size: 78.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

kaifronsdal/sglang Fork of sgl-project/sglang

SGLang is yet another fast serving framework for large language models and vision language models.

Language: Python - Size: 3.43 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

kaifronsdal/TheoremSense

An Empirical Study of Proxy Metrics for Verifying Math Proofs

Language: Jupyter Notebook - Size: 22.4 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1

kaifronsdal/Self-Correction

Language: Jupyter Notebook - Size: 925 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

kaifronsdal/evaporate Fork of HazyResearch/evaporate

This repo contains data and code for the paper "Language Models Enable Simple Systems for Generating Structured Views of Heterogeneous Data Lakes"

Language: Python - Size: 10 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kaifronsdal/manifest Fork of HazyResearch/manifest

Prompt programming with FMs.

Language: Python - Size: 3.18 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kaifronsdal/Proper-Conditioning-For-Time-Series-Forecasting

Language: Jupyter Notebook - Size: 343 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kaifronsdal/Time-Series-Library Fork of thuml/Time-Series-Library

A Library for Advanced Deep Time Series Models.

Language: Shell - Size: 76.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kaifronsdal/scripts

Assortment of useful scripts

Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kaifronsdal/autoformalization

Size: 0 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kaifronsdal/dryaml

Language: Python - Size: 16.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

kaifronsdal/k-pycoq Fork of brando90/pycoq

python API to coq-serapi

Language: Coq - Size: 990 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

kaifronsdal/ICLTP

In Context Learning For Theorem Proving

Language: Jupyter Notebook - Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

kaifronsdal/Reservoir-Computing

Language: Python - Size: 21.8 MB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

kaifronsdal/finetune

Language: Python - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kaifronsdal/pandas Fork of pandas-dev/pandas

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

Language: Python - Size: 260 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kaifronsdal/Crux Fork of ancorso/Crux.jl

Size: 11.5 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

kaifronsdal/Advanced_Animation

Language: JavaScript - Size: 3.52 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kaifronsdal/ReactCameraApp

Language: JavaScript - Size: 5.17 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kaifronsdal/MatterJS_Class_Demo

Language: JavaScript - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kaifronsdal/Test

Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kaifronsdal/FrontierHacks

Language: JavaScript - Size: 8.63 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kaifronsdal/CallWallv2

Language: Kotlin - Size: 1.18 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kaifronsdal/CAS-for-TI84Plus-CE

Creating a computer algebra system for the TI84Plus-CE varient. First creating CAS in JS to to test, then rewriting for calculator.

Language: JavaScript - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

kaifronsdal/Swerve-Drive

Language: JavaScript - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0