Rigorous Proofs via Adversarial AI Agents
☆137Jan 19, 2026Updated 3 months ago
Alternatives and similar repositories for alethfeld
Users that are interested in alethfeld are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The up-to-date code for Mesoscale Individualized NeuroDynamic modeling and filtering☆11Jul 22, 2021Updated 4 years ago
- A Quadratic Unconstrained Binary Optimization (QUBO) solver library using quantum and classical approaches☆21Updated this week
- POCAL (Python Optical Coating Analysis Library) allows to easily design optical coatings both as single layer and as multilayer stack, mo…☆16Mar 30, 2024Updated 2 years ago
- Dynamic convolutional neural networks for time series classification☆14May 16, 2023Updated 2 years ago
- JAX-based differentiable Kohn-Sham Density Functional Theory implementation for training quantum(-enhanced) neural exchange-correlation f…☆19Jan 29, 2026Updated 3 months 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.
- We present Global Search Optics (GSO) to automatically design compact computational imaging systems.☆12Mar 19, 2025Updated last year
- Running ImJoy plugins in Jupyter notebooks☆11Jan 10, 2023Updated 3 years ago
- A Generative Diffusion Model for Crystal Symmetry☆25Apr 13, 2026Updated 2 weeks ago
- THOI: An efficient library for higher order interactions analysis based on Gaussian copulas enhanced by batch-processing☆22Aug 19, 2025Updated 8 months ago
- Analysis Tool for Astrophysical Simulation Data in the Julia Language☆14Oct 4, 2025Updated 6 months ago
- ☆20Updated this week
- Surface version of the M-CRIB atlases.☆14Mar 24, 2026Updated last month
- Implements core functions for AiiDAlab.☆16Apr 18, 2026Updated last week
- monorepo for pasqal torch based pulser backends☆21Updated this week
- 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 beginner-friendly guide to learning JAX with practical examples.☆53Aug 26, 2025Updated 8 months ago
- Code for Neurips 2024 paper: "Pure Message Passing Can Estimate Common Neighbor for Link Prediction"☆17Oct 8, 2024Updated last year
- Public part of the Robotic Perception group (MIS lab, France) library about vision-based state estimation of robot and scene☆23May 20, 2025Updated 11 months ago
- GraviT is a distributed ray tracing framework that enables applications to leverage hardware-optimized ray tracers within a single enviro…☆17Oct 31, 2022Updated 3 years ago
- Loop like a pro, make parameter studies fun.☆16Apr 19, 2026Updated last week
- A python toolbox for analyzing eye-tracking data.☆21May 25, 2018Updated 7 years ago
- Find optimal options spreads based on probability, return on risk, and options pricing☆28Apr 22, 2026Updated last week
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆15Mar 3, 2026Updated last month
- Piloting a new image object for neuroimaging based on XArray☆11Feb 23, 2025Updated last year
- 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.
- This repository hosts a collection of enhancements, fixes, and customizations for Sovol 3D printers, addressing various issues and extend…☆10Jun 12, 2024Updated last year
- Semantic Web database☆19Sep 1, 2022Updated 3 years ago
- A VS Code extension that plays the iconic **FAAAAH** sound whenever your tests fail. Never silently ignore a failing test again.☆29Mar 5, 2026Updated last month
- Exploy: EXport and dePLOY Reinforcement Learning policies☆61Apr 20, 2026Updated last week
- Synthstrip integration to be used across nipreps☆18May 15, 2025Updated 11 months ago
- [CAC2023] Bilateral Network with Residual U-blocks and Dual-Guided Attention for Real-time Semantic Segmentation☆11Nov 28, 2024Updated last year
- Common utility functions and algorithms for robotics work used by ARC & ARM labs and TRI. This is a mirror of https://github.com/calderpg…☆13Mar 28, 2026Updated last month
- A collection of several mainstream LiDAR SLAM algorithms in Gazebo environment.☆10Sep 24, 2023Updated 2 years ago
- Various parts made for fluorescence microscopy + optics work☆17Jul 22, 2019Updated 6 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.
- a collaborative software environment for large-scale tiled display systems☆40Apr 6, 2026Updated 3 weeks ago
- Using Graph Neural Networks to regress baryonic properties directly from full dark matter merger trees.☆24Jul 24, 2025Updated 9 months ago
- This repository includes software for the paper "Multi-task learning for molecular electronic structure approaching coupled-cluster accur…☆24Oct 3, 2024Updated last year
- A collection of graph neural networks implementations in JAX☆35Nov 28, 2023Updated 2 years ago
- Tools related to analyzing eye tracking data from cogntive sciences experiments☆16Mar 27, 2024Updated 2 years ago
- GitHub Action to add a GitHub status link to a CircleCI artifact.☆15Mar 26, 2026Updated last month
- NYU's Introduction to Deep Learning Research☆51Mar 12, 2026Updated last month