逻辑思维测试题
☆16May 19, 2026Updated last month
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
- A structured parsing technique for NER☆15May 26, 2023Updated 3 years ago
- Source code and data for "Split and Rephrase: Better Evaluation and a Stronger Baseline"☆15Feb 15, 2019Updated 7 years ago
- ☆12Mar 22, 2024Updated 2 years ago
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆19Mar 8, 2016Updated 10 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.
- ☆19Dec 6, 2024Updated last year
- ☆17Oct 4, 2020Updated 5 years ago
- ☆16Oct 28, 2021Updated 4 years ago
- Go微服务框架、调度服务，分为调度服务端，客户端，工作端。☆11Jun 1, 2026Updated last month
- The repo of "Improving Seq2Seq Grammatical Error Correction via Decoding Interventions"☆32Jan 22, 2024Updated 2 years ago
- A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.☆36May 25, 2026Updated last month
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Code for Findings of ACL 2021 paper: Logic-Consistency Text Generation from Semantic Parses☆26Aug 3, 2021Updated 4 years ago
- Code repository for "RL Grokking Recipe: How RL Unlocks and Transfers New Algorithms in LLMs""☆35Oct 12, 2025Updated 8 months 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.
- ☆24Feb 15, 2020Updated 6 years ago
- ☆19Jul 15, 2022Updated 3 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
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 5 years ago
- The data for the CRASS-benchmark☆17Oct 24, 2022Updated 3 years ago
- 中文文本句对相似度匹配-ATEC数据集☆23Jun 11, 2020Updated 6 years ago
- Accelerating the development of large multimodal models (LMMs) with lmms-eval☆14Oct 14, 2024Updated last year
- ☆12Jun 15, 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
- 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.
- Lean4中文教程☆37Feb 2, 2025Updated last year
- digierp提供的spring cloud alibaba架构下的快速开发框架☆10Apr 16, 2020Updated 6 years ago
- 自动化运维工具常用插件(Zabbix、SaltStack、Filebeat)☆13Jul 25, 2019Updated 6 years ago
- ☆31Sep 4, 2021Updated 4 years ago
- MyBatis-Pageable是一款自动化分页的插件，基于MyBatis内部的插件Interceptor拦截器编写完成，拦截Executor.query的两个重载方法计算出分页的信息以及根据配置的数据库Dialect自动执行不同的查询语句完成总数量的统计。☆14Mar 18, 2019Updated 7 years ago
- The PyTorch implementation of paper SADGA: Structure-Aware Dual Graph Aggregation Network for Text-to-SQL. (NeurIPS 2021)☆35Mar 1, 2022Updated 4 years ago
- 机智云noti客户端☆10Nov 21, 2017Updated 8 years ago
- 基于编码方式配置整合spring boot + quartz + spring batch☆13Apr 15, 2018Updated 8 years ago
- 比特币简单实现☆12Jun 17, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Dropwizard Metrics Demo☆15Aug 1, 2015Updated 10 years ago
- 文件生成☆14May 9, 2023Updated 3 years ago
- ☆18Sep 15, 2018Updated 7 years ago
- Jenkins/Kube/Helm demo for Index 2018☆17Aug 26, 2020Updated 5 years ago
- mysql数据迁移工具。支持指定表名、列名，多线程+多进程。保证高可用，数据一致性。☆19Mar 10, 2015Updated 11 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