☆13Apr 5, 2026Updated 2 weeks ago
Alternatives and similar repositories for beyond-scale-language-data-diversity
Users that are interested in beyond-scale-language-data-diversity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of packages for chess analysis grouped under a @chess-tools scope.☆10Nov 4, 2018Updated 7 years ago
- 中文医学语料库☆14Jul 2, 2021Updated 4 years ago
- Source code for NeurIPS 2020 paper "Node Classification on Graphs with Few-Shot Novel Labels via Meta Transformed Network Embedding"☆10Nov 17, 2020Updated 5 years ago
- Ἀνατομή is a PyTorch library to analyze representation of neural networks☆13Jan 31, 2024Updated 2 years ago
- https://demo-web.reflex.run☆12Apr 25, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Synthesizing realistic and diverse text-datasets from augmented LLMs☆18Apr 4, 2026Updated 2 weeks ago
- ☆11Oct 2, 2024Updated last year
- ☆30Nov 5, 2024Updated last year
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Sep 12, 2017Updated 8 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Automation Framework using LLM-as-a-judge to evaluate of Agentic AI, RAG, Text2SQL at scale; that is a good proxy for human judgement.☆34Oct 9, 2025Updated 6 months ago
- Maps: Python's missing mappings☆13Nov 29, 2017Updated 8 years ago
- From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning.☆25Oct 7, 2025Updated 6 months ago
- [DEPRECATED] - A GA4GH Task Execution Service (TES) compatible implementation for Azure Compute☆18Sep 29, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- This repository contains the data and code for the paper "SideControl: Controlled Open-domain Dialogue Generation via Additive Side Netwo…☆12Dec 1, 2021Updated 4 years ago
- Implementation for paper "Link Prediction on Heterophilic Graphs via Disentangled Representation Learning"☆13Aug 26, 2022Updated 3 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆38Apr 3, 2026Updated 2 weeks ago
- ☆31Jan 20, 2022Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- SysBench: Can Large Language Models Follow System Messages?☆40Sep 4, 2024Updated last year
- ☆19Nov 4, 2025Updated 5 months ago
- COVID-19(2019-nCoV) traces data Knowledge Graph☆17Apr 6, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a detail tutorials of allennlp , which is based on my own view.☆10Mar 7, 2020Updated 6 years ago
- [AAAI 2025]Automatically Generating Numerous Context-Driven SFT Data for LLMs across Diverse Granularity☆30Mar 17, 2025Updated last year
- ☆25Aug 2, 2022Updated 3 years ago
- Brando's utils☆16Feb 25, 2025Updated last year
- Machine Learning written in TypeScript (to replace learn4js)☆10Apr 11, 2018Updated 8 years ago
- 使用OpenCV解析APP界面，对界面的布局和控件做树形结构化的描述☆11Jan 6, 2020Updated 6 years ago
- ☆25Dec 13, 2024Updated last year
- Relative and Absolute Location Embedding for Few-Shot Node Classification on Graph☆13Nov 13, 2022Updated 3 years ago
- CFBench: A Comprehensive Constraints-Following Benchmark for LLMs☆51Aug 26, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Membership Inference Attack against Graph Neural Networks☆12Nov 9, 2022Updated 3 years ago
- The simplest, fastest repository for training/finetuning medium-sized GPTs with LoRA support.☆30Feb 19, 2024Updated 2 years ago
- Official repository for LLaVA-Reward (ICCV 2025): Multimodal LLMs as Customized Reward Models for Text-to-Image Generation☆23Jul 30, 2025Updated 8 months ago
- ☆23Dec 2, 2024Updated last year
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆56Mar 10, 2026Updated last month
- ☆22May 3, 2025Updated 11 months ago
- ☆26Nov 1, 2021Updated 4 years ago