☆16Dec 17, 2023Updated 2 years ago
Alternatives and similar repositories for ChatLogic
Users that are interested in ChatLogic 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 source code for Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. #1 on the ReClor Leaderbo…☆18Dec 2, 2025Updated 4 months ago
- An environment control module expert system written in PySWIP.☆11Mar 25, 2013Updated 13 years ago
- Enhancing Legal Case Retrieval via Scaling High-quality Synthetic Query-Candidate Pairs (EMNLP 2024)☆16Nov 17, 2024Updated last year
- ☆12Jan 7, 2020Updated 6 years ago
- A script to draw attention heat map with matplotlib☆14May 7, 2019Updated 6 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.
- SciCount is tool focused on counting and classifying of objects in image-like data and scientific images, with training and example datas…☆11Oct 24, 2023Updated 2 years ago
- Napari plugin for custom analysis and visualization of lattice lightsheet and Oblique Plane Microscopy data. The plugin is optimized for …☆14Mar 30, 2026Updated 2 weeks ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 3 years ago
- This repository is a collection of legal instruction datasets☆26Jul 12, 2024Updated last year
- A JupyterBook site for napari workshop materials☆10Jul 11, 2022Updated 3 years ago
- imageC / EVAnalyzer2 - High throughput biological image processor☆10Mar 23, 2026Updated 3 weeks ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Updated this week
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 3 months ago
- Prototype implementation of napari-integrated CNN training viewer☆14Dec 27, 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.
- Data and code for <Precedent-Enhanced Legal Judgment Prediction with LLM and Domain-Model Collaboration>, will be updated soon.☆15Mar 21, 2024Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- Java Image Processing Pipeline (JIPipe) is a graphical batch processing language for the ImageJ ecosystem☆17May 27, 2025Updated 10 months ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 8 months ago
- PyTorch-based radio-interferometric imaging reconstruction package with scalable Bayesian uncertainty quantification relying on data-driv…☆12Feb 17, 2025Updated last year
- Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras☆11Aug 2, 2021Updated 4 years ago
- An experimental custom seq-2-seq model with both layer-wise (inter-layer), and intra-layer attention (attention to previous hidden states…☆10Nov 30, 2017Updated 8 years ago
- clEsperanto - GPU-accelerated image processing across languages and platforms☆11Feb 13, 2021Updated 5 years ago
- "Defragmentation TS2: bringing BioImage Analysts to the cloud!” training school for the new generation of bioimage analysts. Topics: work…☆10Jun 6, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 6 months ago
- A napari plugin to view and edit layer metadata☆13Apr 6, 2026Updated last week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Apr 6, 2026Updated last week
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Aug 3, 2021Updated 4 years ago
- rodinia benchmark modified to run with ENZO and pathcu instead of nvcc CUDA compiler☆12Jan 23, 2024Updated 2 years ago
- This is the course material for the introductory course into Python basics for Data Scientists.☆12Mar 14, 2023Updated 3 years ago
- This repository contains code for the paper "Are Pretrained Language Models Symbolic Reasoners over Knowledge?"☆13Mar 23, 2021Updated 5 years ago
- Main repository for DIVE☆17Feb 25, 2022Updated 4 years ago
- ☆22Jan 31, 2024Updated 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.
- ☆14Jan 26, 2021Updated 5 years ago
- ☆10Nov 29, 2024Updated last year
- 🔬 MCP server for AI-powered napari control. Connect Claude, ChatGPT, Cursor, and other LLMs to napari for interactive image analysis. Pe…☆31Mar 25, 2026Updated 3 weeks ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆12Jul 18, 2022Updated 3 years ago
- Code and data belonging to "Raw data to results: a hands-on introduction and overview of computational analysis for single-molecule local…☆11Mar 7, 2022Updated 4 years ago
- Argotario: a multi-lingual serious game to tackle fallacious argumentation☆16Oct 14, 2025Updated 6 months ago
- Benchmarking Retrieval-Augmented Generation in Multi-Turn Legal Consultation Conversation☆40Mar 3, 2025Updated last year