Author

Andre Panossian

h-index 9 View on Semantic Scholar

We have 2 of 25 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Does the way we write a theory change the program an LLM builds from it? A prospective randomized study of renderer format in LLM theory-to-program translation

The result places a concrete boundary on specification-format effects in LLM theory-to-program translation and provides a fully auditable randomized design, datasets, and software for studying executable formalization.

Andre Panossian · 0 citations

Preprint Sep 2026

Transformed in Translation: Two-Stage Structural Uncertainty in LLM-Based Scientific Autoformalization

A common mathematical language did not erase translation provenance, and robust ordering under one observable did not transfer to another, in secondary analyses of an openly archived crossed experiment.

Andre Panossian · 0 citations