research
∙
05/04/2023
Idiolect: A Reconfigurable Voice Coding Assistant
This paper presents Idiolect, an open source (https://github.com/OpenASR...
share
research
∙
05/02/2023
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
Solving Constrained Horn Clauses (CHCs) is a fundamental challenge behin...
research
∙
04/29/2023
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
The recent introduction of ChatGPT has drawn significant attention from ...
research
∙
01/06/2023
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students
Instructors and students alike are often focused on the grade in program...
research
∙
11/15/2022
Scalar Invariant Networks with Zero Bias
Just like weights, bias terms are the learnable parameters of many popul...
research
∙
11/07/2022
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
We present the Neural Satisfiability Network (NSNet), a general neural f...
research
∙
10/28/2022
Toward Reliable Neural Specifications
Having reliable specifications is an unavoidable challenge in achieving ...
research
∙
10/07/2022
Novice Type Error Diagnosis with Natural Language Models
Strong static type systems help programmers eliminate many errors withou...
research
∙
12/15/2021
XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar
We propose a simple and effective bug finder, XCheck, which is a proof o...
research
∙
08/24/2021
Graph Contrastive Pre-training for Effective Theorem Reasoning
Interactive theorem proving is a challenging and tedious process, which ...
research
∙
06/16/2021
Techniques for Symbol Grounding with SATNet
Many experts argue that the future of artificial intelligence is limited...
research
∙
12/04/2019
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
We propose prioritized unit propagation with periodic resetting, which i...
research
∙
06/01/2019