Code for the 2-simplicial Transformer paper
☆21Jan 16, 2020Updated 6 years ago
Alternatives and similar repositories for 2simplicialtransformer
Users that are interested in 2simplicialtransformer 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 development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- Org export engine for Jekyll on Markdown☆12May 12, 2022Updated 3 years ago
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 3 months ago
- Implementation of the Hierarchical Reasoning Model (HRM), applied to a pathfinding task, plus performance study.☆32Sep 9, 2025Updated 6 months ago
- 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.
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- Code of the book "Getting started with the Julia Programming Language"☆11Jul 7, 2018Updated 7 years ago
- Alpino in Docker☆10Nov 19, 2025Updated 4 months ago
- Metrical position in Greek hexameter.☆13Mar 20, 2026Updated last week
- Gaussian Embedding of Large-scale Attributed Graphs☆10Mar 13, 2020Updated 6 years ago
- playground for generative models☆10Jun 23, 2024Updated last year
- Code for the paper 'Geodesic Finite Mixture Model'.☆10Aug 25, 2016Updated 9 years ago
- ☆15Jul 25, 2023Updated 2 years ago
- ☆13Dec 6, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- AgentsCourt: Building Judicial Decision-Making Agents with Court Debate Simulation and Legal Knowledge Augmentation (EMNLP 2024 Findings)☆16Dec 30, 2024Updated last year
- A collection of techniques used in Haskell that are worth remembering.☆17Aug 30, 2010Updated 15 years ago
- Website for Particle Physics Domain (UCSD Capstone)☆12Oct 23, 2021Updated 4 years ago
- ☆13Mar 30, 2021Updated 4 years ago
- Tracking part of siamese-fc.☆10Feb 25, 2017Updated 9 years ago
- This is the implementation of the CULP classification algorithm. The paper introducing this algorithm - `Classification Using Link Predic…☆13Jun 17, 2024Updated last year
- Sync your vaults automatically & securely with most of clouds 🌥 by taking advantage of 'RCLONE' & 'syncrclone'☆18May 24, 2022Updated 3 years ago
- ☆21Mar 20, 2017Updated 9 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Mar 20, 2021Updated 5 years ago
- 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.
- Auction Algorithm for Sparse Linear Assignment Problems☆13Mar 15, 2021Updated 5 years ago
- JEDI-net: a jet identification algorithm based on interaction networks☆10Aug 16, 2020Updated 5 years ago
- Tensors in Haskell☆40Feb 3, 2026Updated last month
- Lean4 port of Arduino balance car controller☆51Mar 17, 2021Updated 5 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆42Jun 12, 2023Updated 2 years ago
- Simplified Rust implementation of the Hungarian (or Kuhn–Munkres) algorithm☆13Jun 15, 2020Updated 5 years ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆102Updated this week
- This repository implements the latent optimization using automatic differentiation from the paper LOGAN.☆12Apr 10, 2020Updated 5 years ago
- Augmented Sliced Wasserstein Distances☆10Jun 14, 2025Updated 9 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Code for RELAX, a framework for explaining representations.☆12Jan 7, 2024Updated 2 years ago
- Systematic trading in Python☆12Mar 19, 2026Updated last week
- Stanford CS244B Distributed Systems Final Project - Secure Peer-to-Peer File Locker☆12Jan 29, 2015Updated 11 years ago
- ☆10Nov 8, 2020Updated 5 years ago
- This project involved enhancing a GPT-4 based application that simulates sales conversations. The application uses a SalesConversationCha…☆11Mar 30, 2024Updated last year
- a Pytorch implementation of the Reformer Network (https://openreview.net/pdf?id=rkgNKkHtvB)☆53Nov 22, 2022Updated 3 years ago
- Methods for estimating intrinsic dimension and methods for generating data on manifolds☆12May 23, 2019Updated 6 years ago