David B. Hulak

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Arthur F. Ramos (1)Ruy J. G. B. de Queiroz (1)

Papers (1)

Apr 8, 2026

David B. Hulak +2Apr 8, 2026

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions

Algebraic equality breaks down as a rewrite principle for measurement-bearing expressions, revealing the subtle but critical role of observation provenance and definedness.

David B. Hulak, Arthur F. Ramos, Ruy J. G. B. de Queiroz

Code Generation & Program Synthesis Natural Language Processing Reasoning & Chain-of-Thought

David B. Hulak

Research focus

Frequent co-authors

Papers (1)

Search

David B. Hulak

Research focus

Frequent co-authors

Papers (1)