arXiv:2210.08232v4 [cs.PL] 6 Jun 2023

arXiv:2210.08232v4 [cs.PL] 6 Jun 2023. A TUTORIAL ON IMPLEMENTING DE MORGAN CUBICAL TYPE. THEORY. TESLA ZHANG. June 7, 2023. A . This tutorial ...

A tutorial on implementing De Morgan cubical type theory - arXiv

... 6 Jun 2023 (this version, v4)]. Title:A tutorial on implementing De ... (or arXiv:2210.08232v4 [cs.PL] for this version). https://doi.org ...

Programming Languages Jun 2023 - arXiv

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR) ... [6] arXiv:2306.01597 [pdf, html, other]. Title: (Un)Solvable Loop Analysis.

Syntactically Guided Coarse-To-Fine Code Generation - arXiv

... Jul 2023 (this version, v4)]. Title:Outline, Then ... Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.

Tesla Zhang's articles on arXiv

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL). [6] arXiv:2103.15408 [pdf, ps, other]. Title: A simpler encoding of indexed types.

[2301.13816] Execution-based Code Generation using Deep ... - arXiv

LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Programming Languages (cs.PL) ... [v3] Tue, 18 Jul 2023 16:49:52 UTC ( ...

arXiv:2405.04304v4 [cs.CL] 23 Jun 2024

(2023) with zero temperature. This oracle fulfills the speculative decoding poten- tial: generating the maximal number of valid draft tokens at ...

An In-Context Learning Agent for Formal Theorem-Proving - arXiv

Computer Science > Machine Learning. arXiv:2310.04353 (cs). [Submitted on 6 Oct 2023 (v1), last revised 8 Aug 2024 (this version, v5)]. Title:An In-Context ...

[2005.09520] Choral: Object-Oriented Choreographic Programming

Computer Science > Programming Languages. arXiv:2005.09520 (cs). [Submitted on 19 May 2020 (v1), last revised 19 Oct 2023 (this version, v4)] ...

A Theory of Conversion Relations for Prefixed Units of Measure - arXiv

Programming Languages (cs.PL); Discrete Mathematics (cs.DM). Cite as ... Fri, 6 Jan 2023 14:09:35 UTC (26 KB) [v3] Sun, 15 Oct 2023 15 ...