逻辑思维测试题
☆15May 19, 2026Updated 4 months ago
Alternatives and similar repositories for logical-thought
Users that are interested in logical-thought are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Oct 15, 2020Updated 5 years ago
- Question-Directed Graph Attention Network for Numerical Reasoning over Text☆10Aug 14, 2020Updated 6 years ago
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆19Mar 8, 2016Updated 10 years ago
- ☆19Dec 6, 2024Updated last year
- ☆17Jul 4, 2025Updated last year
- 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.
- [SemEval'19] Code for "HLT@SUDA at SemEval 2019 Task 1: UCCA Graph Parsing as Constituent Tree Parsing"☆18Oct 17, 2020Updated 5 years ago
- ☆17Oct 4, 2020Updated 6 years ago
- 微信小程序支付、模板消息等实例☆16Sep 15, 2017Updated 9 years ago
- A curated collection of projects, benchmarks, and research papers focused on reproducing and advancing the DeepSeek R1 framework.☆15Mar 19, 2025Updated last year
- Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).☆19Dec 19, 2025Updated 9 months ago
- ☆16Nov 1, 2025Updated 11 months ago
- A data explorer for DROP dataset☆22Jan 4, 2023Updated 3 years ago
- The repo of "Improving Seq2Seq Grammatical Error Correction via Decoding Interventions"☆32Jan 22, 2024Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆19Jul 15, 2022Updated 4 years ago
- A scalable automated alignment method for large language models. Resources for "Aligning Large Language Models via Self-Steering Optimiza…☆20Nov 21, 2024Updated last year
- 中文文本句对相似度匹配-ATEC数据集☆23Jun 11, 2020Updated 6 years ago
- The data for the CRASS-benchmark☆17Oct 24, 2022Updated 3 years ago
- Accelerating the development of large multimodal models (LMMs) with lmms-eval☆14Oct 14, 2024Updated 2 years ago
- Implementation of MixCE method described in ACL 2023 paper by Zhang et al.☆20May 29, 2023Updated 3 years ago
- SpringBoot Security KeyCloak Integration remote to https://github.com/qianmoQ/spring-learn-integration/tree/master/spring-learn-integrati…☆12Feb 20, 2019Updated 7 years ago
- Lean4中文教程☆37Feb 2, 2025Updated last year
- The PyTorch implementation of paper SADGA: Structure-Aware Dual Graph Aggregation Network for Text-to-SQL. (NeurIPS 2021)☆36Mar 1, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- mysql数据库结构和数据同步☆10Jun 21, 2022Updated 4 years ago
- ☆31Sep 4, 2021Updated 5 years ago
- ☆24Aug 10, 2022Updated 4 years ago
- Official Repository for "Training Versatile Coding Agents in Synthetic Environments"☆22Jan 11, 2026Updated 9 months ago
- digierp提供的spring cloud alibaba架构下的快速开发框架☆10Apr 16, 2020Updated 6 years ago
- 自动化运维工具常用插件(Zabbix、SaltStack、Filebeat)☆13Jul 25, 2019Updated 7 years ago
- FShop是一款基于Spring Boot + Mybatis + Dubbo + Zookeeper + RabbitMQ + Redis + Nginx的高并发秒杀系统。☆15Sep 29, 2020Updated 6 years ago
- Dropwizard Metrics Demo☆15Aug 1, 2015Updated 11 years ago
- 2021搜狐校园文本匹配算法大赛baseline☆45Apr 16, 2021Updated 5 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.
- Jenkins/Kube/Helm demo for Index 2018☆17Aug 26, 2020Updated 6 years ago
- [NeurIPS'24 LanGame workshop] On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability☆42Apr 10, 2026Updated 6 months ago
- mysql数据迁移工具。支持指定表名、列名，多线程+多进程。保证高可用，数据一致性。☆19Mar 10, 2015Updated 11 years ago
- Integration Test demo for different kind of framework. Most of them based on spring.☆13Jan 8, 2014Updated 12 years ago
- 在kubernetes中安装软件的Yaml清单☆16Jul 21, 2022Updated 4 years ago
- Enhance是对于原生的MyBatis的增强编写，不影响任何原生的使用，使用后完全替代mybatis-core、mybatis-spring以及mybatis-spring-boot-starter，可以使用SpringBoot配置文件的形式进行配置相关的内容，尽可能强大…☆18May 13, 2018Updated 8 years ago
- database transfer 数据库 迁移☆13Feb 21, 2019Updated 7 years ago