Evaluation of neuro-symbolic engines
☆42Aug 3, 2024Updated last year
Alternatives and similar repositories for benchmark
Users that are interested in benchmark 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 neurosymbolic perspective on LLMs☆1,733Updated this week
- BH hackathon☆14Apr 4, 2024Updated 2 years ago
- MATLAB Simulink Based Fault Tree Analyzer☆10Mar 12, 2024Updated 2 years ago
- 3D Data Processing Courses for Ditigal Twins. ITC UTWENTE☆29Dec 31, 2025Updated 5 months ago
- The official implementation of the paper "Towards Safe Self-Distillation of Internet-Scale Text-to-Image Diffusion Models" (ICML 2023 Wor…☆21Mar 19, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cross-prediction-powered inference☆15Apr 26, 2024Updated 2 years ago
- Official Implementation of the paper: "A Rate-Distorion View of Uncertainty Quantification", ICML 2024☆28Sep 3, 2024Updated last year
- Code for paper: Are Large Language Models Post Hoc Explainers?☆34Jul 22, 2024Updated last year
- ☆30Sep 5, 2024Updated last year
- ☆23Dec 7, 2023Updated 2 years ago
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆23Aug 17, 2024Updated last year
- [EMNLP 2023] Poisoning Retrieval Corpora by Injecting Adversarial Passages https://arxiv.org/abs/2310.19156☆51Dec 14, 2023Updated 2 years ago
- ☆27May 25, 2024Updated 2 years ago
- ☆23Apr 4, 2024Updated 2 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.
- Resa: Transparent Reasoning Models via SAEs☆49Sep 23, 2025Updated 9 months ago
- ☆43Mar 30, 2026Updated 3 months ago
- ☆14Aug 4, 2023Updated 2 years ago
- ☆12Aug 26, 2025Updated 10 months ago
- Complex-number-aware Variational Autoencoder for audio tasks☆12Jun 2, 2026Updated 3 weeks ago
- CascadER: Cross-Modal Cascading for Knowledge Graph Link Prediction (arXiv 22)☆13Jun 17, 2022Updated 4 years ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 9 months ago
- Implementation of CoLA: Compute-Efficient Pre-Training of LLMs via Low-Rank Activation☆26Feb 18, 2025Updated last year
- A TensorFlow implementation of perceptual generative autoencoder (PGA).☆22Nov 2, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 4 years ago
- An experiment with movie scenes and contrastive learning☆11Feb 1, 2025Updated last year
- MS Marco Entity Annotations Disambiguation☆14May 19, 2023Updated 3 years ago
- ☆14Jan 24, 2023Updated 3 years ago
- [CVPR 2020] A generative model with latent factors that are independent and localized.☆12Mar 27, 2025Updated last year
- ☆15May 22, 2026Updated last month
- [ICLR 26] The official code repository for the paper "Mirage or Method? How Model–Task Alignment Induces Divergent RL Conclusions".☆18Feb 9, 2026Updated 4 months ago
- ☆43Feb 2, 2024Updated 2 years ago
- clock_plot provides a simple way to visualize timeseries data, mapping 24 hours onto the 360 degrees of a polar plot☆15Apr 5, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GloSAT Historical Measurement Table Dataset☆11Dec 3, 2025Updated 6 months ago
- INFRA-COMPASS is a tool that leverages Large Language Models (LLMs) to create and maintain an inventory of state and local codes and ordi…☆18Updated this week
- LLM verified with Monte Carlo Tree Search☆10Nov 15, 2023Updated 2 years ago
- [TMLR 2026 J2C Certification] Previously at GenBio ICML 2025☆22Apr 28, 2026Updated 2 months ago
- SaTML'23 paper "Backdoor Attacks on Time Series: A Generative Approach" by Yujing Jiang, Xingjun Ma, Sarah Monazam Erfani, and James Bail…☆21Feb 5, 2023Updated 3 years ago
- Open-LLM-Leaderboard: Open-Style Question Evaluation. Paper at https://arxiv.org/abs/2406.07545☆53Jun 27, 2024Updated 2 years ago
- ☆10Nov 6, 2024Updated last year