A bachelor's thesis surveys deductive, inductive, sketch-based, LLM-based, and neuro-symbolic program synthesis, emphasizing correctness versus usability trade-offs.
On propagation of positive and negative streamers in air in uniform electric fields
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Recently published results of numerical simulations of positive and negative streamers propagating in uniform electric fields in air are analyzed here in the framework of an analytical approach. Obtained approximate relations between the streamer radius, velocity and length, depending on the value of applied electric field, are in reasonable agreement with the results of numerical simulations.
citation-role summary
background 1
citation-polarity summary
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
support 1representative citing papers
citing papers explorer
-
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
A bachelor's thesis surveys deductive, inductive, sketch-based, LLM-based, and neuro-symbolic program synthesis, emphasizing correctness versus usability trade-offs.