Stars
Formally Verified Float Implementation with lean4
Inference API for many LLMs and other useful tools for empirical research
AgentSociety: Large-scale Social Simulation to Understand Human Behaviors and Society through LLM-driven Agents
Open source version of Anthropic's Clio: A system for privacy-preserving insights into real-world AI use
LLaMA 3 is one of the most promising open-source model after Mistral, we will recreate it's architecture in a simpler manner.
Open Implementations of LLM Analyses
Statistical Modeling of the Informatics Olympiad Ecosystem (IOI 2021 National Training Team Thesis, Tianyi Qiu)
Align Anything: Training All-modality Model with Feedback
Alignment with a millennium of moral progress. Spotlight@NeurIPS 2024 Track on Datasets and Benchmarks.
SafeSora is a human preference dataset designed to support safety alignment research in the text-to-video generation field, aiming to enhance the helpfulness and harmlessness of Large Vision Models…
Machine Learning Engineering Open Book
Evaluating the Moral Beliefs Encoded in LLMs
Squiggle programming language for intuitive probabilistic estimation features in Python
This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
Core MFC app and newer C# plugins (in development)
Browser Extension. Persistent local storage for each URL visit. Retain your browsing history forever. A digital journal for your browsing history.
Agent-based modeling framework in Julia
A fast, portable, simple, and free C/C++ IDE
Code libarary for ACM/ICPC Team Calabash! from Nanjing University
为了 OI 比赛而生的基于 Lemon + LemonPlus 的轻量评测系统 | 三大桌面系统支持