Copertina

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Inamdar, Amogh, Macar, Uzay, Vazirani, Michel, Tarnow, Michael, Mustapha, Zarina, Dittren, Natalia, Sadeh, Sam, Verma, Nakul, Salleb-Aouissi, Ansaf
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Discrete Mathematics Artificial Intelligence Human-Computer Interaction
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Hierarchical Multi-Armed Bandits for the Concurrent Intelligent Tutoring of Concepts and Problems of Varying Difficulty Levels
di: Castleman, Blake, et al.
Pubblicazione: (2024)

M-DEW: Extending Dynamic Ensemble Weighting to Handle Missing Values
di: Catto, Adam, et al.
Pubblicazione: (2024)

Degree-Based Logical Adjacency Checking (DBLAC): A Novel Heuristic for Vertex Coloring
di: Verma, Prashant
Pubblicazione: (2025)

Handling Uncertainty in Health Data using Generative Algorithms
di: Loodaricheh, Mahdi Arab, et al.
Pubblicazione: (2025)

A Systematic Study of Single-Anchor Logical Gadgets
di: Güngör, Fikret H.
Pubblicazione: (2025)

Stable Matching: Dealing with Changes in Preferences
di: Gangam, Rohith Reddy, et al.
Pubblicazione: (2023)

Logic-Constrained Shortest Paths for Flight Planning
di: Euler, Ricardo, et al.
Pubblicazione: (2024)

Conditional Separation as a Binary Relation. A Coq Assisted Proof
di: Chancelier, Jean-Philippe, et al.
Pubblicazione: (2021)

Logic-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

N-Way Joint Mutual Exclusion Does Not Imply Any Pairwise Mutual Exclusion for Propositions
di: Freedman, Roy S.
Pubblicazione: (2024)

Diameter Bounds for Friends-and-Strangers Graphs
di: Akella, Amogh, et al.
Pubblicazione: (2025)

Retracted: Relationship between Green Financing and Investment Logic and Effectiveness Evaluation of Financing Decisions
di: Discrete Dynamics in Nature and Society
Pubblicazione: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

First-Order Logic and Twin-Width for Some Geometric Graphs
di: Geniet, Colin, et al.
Pubblicazione: (2025)

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
di: Seppelt, Tim
Pubblicazione: (2023)

Short Proof: Exact Solution to the Finite Frobenius Coin Problem
di: De Gaspari, Lorenzo, et al.
Pubblicazione: (2025)

Two Proofs of the Hamiltonian Cycle Identity
di: Sawczuk, Hamilton, et al.
Pubblicazione: (2025)

A Computer-Assisted Proof of the Optimal Density Bound for Pinwheel Covering
di: Kawamura, Akitoshi, et al.
Pubblicazione: (2025)

Boolean Variation and Boolean Logic BackPropagation
di: Nguyen, Van Minh
Pubblicazione: (2023)

Metric Dimensions of March Madness Brackets
di: Spiro, Sam
Pubblicazione: (2026)

Bounds on Linear Turán Number for Trees
di: Adak, Rajat, et al.
Pubblicazione: (2026)

Multivariate Exploration of Metric Dilation
di: Banik, Aritra, et al.
Pubblicazione: (2025)

A Simplified Proof for the Edge-Density of 4-Planar Graphs
di: Büngener, Aaron
Pubblicazione: (2025)

Multicoloured Hardcore Model: Fast Mixing and Queueing
di: Olesker-Taylor, Sam
Pubblicazione: (2024)

A Brooks-type theorem for the k-choosability of graphs with maximum local edge-connectivity k
di: Bastida, Sam, et al.
Pubblicazione: (2026)

A Proof of Talagrand's Creating Large Sets Conjecture
di: Fang, Xuan, et al.
Pubblicazione: (2025)

A Proof of the 2004 Albert-Grossman-Nowakowski-Wolfe Conjecture on Alternating Linear Clobber
di: Chen, Xinyue, et al.
Pubblicazione: (2025)

Cuts in Graphs with Matroid Constraints
di: Banik, Aritra, et al.
Pubblicazione: (2024)

Variants of Wythoff game with terminal positions or blocking maneuvers
di: Renard, Antoine, et al.
Pubblicazione: (2025)

A recursive linear time modular decomposition algorithm via LexBFS
di: Corneil, Derek, et al.
Pubblicazione: (2007)

Rainbow Trees in Hypercubes
di: Crawford, Nicholas, et al.
Pubblicazione: (2025)

A Proof of Bala's General-$m$ Representation of the Harmonic Numbers
di: Niu, Tong
Pubblicazione: (2026)

An Alternate Proof of Near-Optimal Light Spanners
di: Bodwin, Greg
Pubblicazione: (2023)

Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems
di: Hirahara, Shuichi, et al.
Pubblicazione: (2023)

On Function-Correcting Codes in the Lee Metric
di: Verma, Gyanendra K., et al.
Pubblicazione: (2025)

Exhaustive Generation of Pattern-Avoiding s-Words
di: Buick, Samuel, et al.
Pubblicazione: (2025)

Development of an adaptive genetic algorithm for simulation optimization
di: Rafael de Carvalho Miranda
Pubblicazione: (2015)

Parameterized Saga of First-Fit and Last-Fit Coloring
di: Agrawal, Akanksha, et al.
Pubblicazione: (2024)

Lower bounding the MaxCut of high girth 3-regular graphs using the QAOA
di: Farhi, Edward, et al.
Pubblicazione: (2025)

Larger Nearly Orthogonal Sets over Finite Fields
di: Haviv, Ishay, et al.
Pubblicazione: (2024)