Massive Free Documents

Discover millions of professional documents covering academic, business, culture and more.

Mathematical Problem Solving by Analogy

Mathematical Problem Solving by Analogy

Added by Jordan Avery

Do large language models solve verbal analogies like children do - Verbal analogy research

Do large language models solve verbal analogies like children do - Verbal analogy research

Added by Quinn Holloway

Word, graph and manifold embedding from Markov processes

Word, graph and manifold embedding from Markov processes

Added by Gloria

(Too Many) Problems of Analogical Reasoning with Word Vectors - Paper

(Too Many) Problems of Analogical Reasoning with Word Vectors - Paper

Added by Riley West

Module Two - Working with Words - Spelling and Grammar

Module Two - Working with Words - Spelling and Grammar

Beating Exhaustive Search for Quantiﬁed Boolean Formulas and Connections to Circuit Complexity

Beating Exhaustive Search for Quantiﬁed Boolean Formulas and Connections to Circuit Complexity

TaSSAT - Transfer and Share SAT - Abstract

TaSSAT - Transfer and Share SAT - Abstract

G2SAT - Learning to Generate SAT Formulas

G2SAT - Learning to Generate SAT Formulas

Thinking Out of the Box - Hybrid SAT Solving by Unconstrained Continuous Optimization

Thinking Out of the Box - Hybrid SAT Solving by Unconstrained Continuous Optimization

SATBench - Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas

SATBench - Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas

Added by Violet

On the Satisfiability of Random 3-SAT Formulas with k-Wise Independent Clauses - Abstract

On the Satisfiability of Random 3-SAT Formulas with k-Wise Independent Clauses - Abstract

Added by Eliana

Proof Complexity and SAT Solving - Chapter 7 - Introduction

Proof Complexity and SAT Solving - Chapter 7 - Introduction

How is Scholastic Aptitude Test (SAT) Performance Related to Postsecondary Enrollment Patterns in the 2006 AISD High School Exit Survey?

How is Scholastic Aptitude Test (SAT) Performance Related to Postsecondary Enrollment Patterns in the 2006 AISD High School Exit Survey?

Added by supergirl

SAT® Report: Only 43 Percent of 2012 College-Bound Seniors Are College Ready - Sept. 24, 2012

SAT® Report: Only 43 Percent of 2012 College-Bound Seniors Are College Ready - Sept. 24, 2012

Added by Stanford

Using Walk-SAT and Rel-SAT for Cryptographic Key Search

Using Walk-SAT and Rel-SAT for Cryptographic Key Search