A toolkit for systematically checking proofs in statistics and ML-theory paper appendices using coding agents. Includes severity framework, phased parallel execution, auto-planning prompt, and a complete worked tutorial.
☆33May 6, 2026Updated 5 months ago
Alternatives and similar repositories for proofcheck-stat-paper
Users that are interested in proofcheck-stat-paper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Claude Code slash commands for proofreading LaTeX statistics papers — grammar review (phrasing, spelling, punctuation) and technical revi…☆36May 1, 2026Updated 6 months ago
- DGCIT: Double Generative Adversarial Networks for Conditional Independence Testing☆11Nov 22, 2023Updated 2 years ago
- Implementation of "Does the Markov Decision Process Fit the Data: Testing for the Markov Property in Sequential Decision Making”(ICML 202…☆14May 10, 2021Updated 5 years ago
- Implementation of "Reinforcement Learning in Possibly Nonstationary Environments"☆10Mar 10, 2025Updated last year
- Elastic-net VARMA: hyperparameter optimisation, estimation and forecasting☆11Jan 30, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Imprint Project☆14Sep 9, 2024Updated 2 years ago
- A Python Based Library to Calculate Statistical Estimators (Sn, Qn, MAD, IQR)☆15Jun 21, 2024Updated 2 years ago
- Small command line programs I've written. Lots of good text filtering ones.☆13Mar 4, 2026Updated 7 months ago
- ☆14Feb 13, 2022Updated 4 years ago
- Development version of the changepoint.geo R package☆11Mar 30, 2021Updated 5 years ago
- The code of Conditional Diffusion Models Based Conditional Independence Testing, AAAI 2025☆18Feb 15, 2026Updated 8 months ago
- An R Package for Change Point Localisation☆14Oct 7, 2023Updated 3 years ago
- Conditional Independence Testing with Generative Adversarial Networks☆15Nov 20, 2019Updated 6 years ago
- Code accompanying the paper "A Language Model's Guide Through Latent Space". It contains functionality for training and using concept vec…☆22Feb 23, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A set of kernel-based (Un)conditional independence tests including SDCIT (Lee and Honavar, UAI 2017)☆16Sep 19, 2026Updated last month
- Using Baidu ASR auto-generating subtitles for any video file. 使用百度短语音识别技术为视频或音频生成字幕。☆12Jan 23, 2022Updated 4 years ago
- ☆14May 15, 2025Updated last year
- An R package for sparse PCA via Fantope Projection and Selection☆15Mar 27, 2020Updated 6 years ago
- [NeurIPS 2025] AdaDetectGPT: Adaptive Detection of LLM-Generated Text with Statistical Guarantees☆70Dec 5, 2025Updated 10 months ago
- Reinforcement Learning Short Course☆101Aug 26, 2026Updated 2 months ago
- Sequential Uniform Design for Hyperparameter Optimization☆10Nov 4, 2022Updated 3 years ago
- Clone of the Bioconductor repository for the onlineFDR package. See https://bioconductor.org/packages/devel/bioc/html/onlineFDR.html for …☆15Updated this week
- Use Stata .dta files in Python☆13Jun 25, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- GLM 4.6 MCP server with custom json config for integration with Warp Terminal☆16Feb 14, 2026Updated 8 months ago
- A Claude Code plugin that auto-saves and indexes your conversations. Never lose context again.☆18Oct 17, 2025Updated last year
- ☆10Aug 5, 2025Updated last year
- ☆11Aug 13, 2019Updated 7 years ago
- ☆14Mar 21, 2019Updated 7 years ago
- An R package for symbolic and numerical computations on scalar and multivariate systems of stochastic differential equations (SDEs). It p…☆14Mar 5, 2024Updated 2 years ago
- Implementation of "Dynamic Causal Effects Evaluation in A/B Testing with a Reinforcement Learning Framework" (JASA 2023)☆33Oct 19, 2023Updated 3 years ago
- Turn an economics paper into a seminar-ready Beamer talk with a timed speaker script — conference, job-market and discussant slides. Agen…☆26Jul 20, 2026Updated 3 months ago
- Economic theory and the algorithms that solve economic models, formalised in Lean 4 against Mathlib☆31Oct 8, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for ICML 2021 paper "Regularizing towards Causal Invariance: Linear Models with Proxies" (ICML 2021)☆11Mar 14, 2022Updated 4 years ago
- Python Interface to COVID-19 Data Hub☆17Jan 31, 2024Updated 2 years ago
- CULiNGAM accelerates LiNGAM analysis on GPUs.☆10Mar 8, 2024Updated 2 years ago
- Software used for papers published by CAUSALab members☆12Oct 23, 2025Updated last year
- Repository for the paper 'Enhancing Clinical Decision Support with Physiological Waveforms — A Multimodal Benchmark in Emergency Care'.☆28Apr 30, 2025Updated last year
- Vision: an economist-directed AI system that takes an economics research question from idea to working paper — identification judgment, a…☆38Jul 16, 2026Updated 3 months ago
- A Stata Package for Regression Sensitivity Analysis☆19Dec 28, 2024Updated last year