Lists (30)
BUAA
BUAA related stuff2 repositories
cbqa
4 repositories
code
21 repositories
conversation
3 repositories
coref
zero coreference resolution10 repositories
CS
CS courses2 repositories
CV
Computer Vision, Graphics4 repositories
debias
3 repositories
embeddings
15 repositories
games
2 repositories
grammar
grammar induction, unsupervised parsing23 repositories
graph
KG, GNN12 repositories
hyperbolic
hyperbolic neural network, geometric deep learning14 repositories
IR
Information Retrieval89 repositories
libs
40 repositories
llm
85 repositories
math
5 repositories
ML
Machine Learning3 repositories
mm
29 repositories
NLP
Natural Language Processing65 repositories
PDE
Neural PDE1 repository
PL
Programming Language9 repositories
prompt
1 repository
QG
QG, KBQG, DG...31 repositories
quantum
1 repository
RL
Reinforcement Learning4 repositories
speech
1 repository
theory
14 repositories
time series
9 repositories
vpn
11 repositories
Starred repositories
Genetic Programming in Python, with a scikit-learn inspired API
Official implementation for AAAI2025: AlphaForge: A Framework to Mine and Dynamically Combine Formulaic Alpha Factors
Performance analysis of predictive (alpha) stock factors
QUANTAXIS 支持任务调度 分布式部署的 股票/期货/期权 数据/回测/模拟/交易/可视化/多账户 纯本地量化解决方案
The implementation of AlphaEval: A Comprehensive and Efficient Evaluation Framework for Formula Alpha Mining(https://www.arxiv.org/abs/2508.13174).
Sub2API is an open-source relay platform that unifies Claude, OpenAI, Gemini, and Antigravity subscriptions into a single endpoint. It supports account sharing and cost-sharing, with seamless nativ…
CRS-自建Claude Code镜像，一站式开源中转服务，让 Claude、OpenAI、Gemini、Droid 订阅统一接入，支持拼车共享，更高效分摊成本，原生工具无缝使用。
Suggested conventions and examples for Lean formalization of IMO problem statements
A repository for issues related to the Office JavaScript APIs and Office Add-ins platform. Find the Office.js library in Office.js CDN: https://appsforoffice.microsoft.com/lib/1/hosted/office.js.
A Machine-to-Machine Interaction System for Lean 4.
A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions
LeanArchitect extracts a blueprint directly from Lean source.
WybeCoder Verified Generation of Imperative Code with LLMs
A collection of formalized statements of conjectures in Lean.
NeqLIPS: a powerful Olympiad-level inequality prover
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Solidity, the Smart Contract Programming Language
Lean 4 theorem proving skill and workflow pack for AI coding agents
Research code base for Automatic Textbook Formalization