Automating string processing in spreadsheets using input-output examples
From MaRDI portal
Recommendations
Cited in
(22)- Connecting program synthesis and reachability: automatic program repair using test-input generation
- Iterative genetic improvement: scaling stochastic program synthesis
- Inductive logic programming at 30
- Learning higher-order logic programs
- Solving program sketches with large integer values
- Learning efficient logic programs
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
- Algebra-based synthesis of loops and their invariants (invited paper)
- Scaling enumerative program synthesis via divide and conquer
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
- Can language models automate data wrangling?
- scientific article; zbMATH DE number 5526037 (Why is no real title available?)
- AUTOMAT[\texttt{R}]IX: learning simple matrix pipelines
- Minimal synthesis of string to string functions from examples
- Transforming spreadsheet data types using examples
- Computing programs for generalized planning using a classical planner
- Program synthesis with best-first bottom-up search
- Automatic synthesis of data-flow analyzers
- Predictive spreadsheet autocompletion with constraints
- Programming by predicates: a formal model for interactive synthesis
- Inductive synthesis of structurally recursive functional programs from non-recursive expressions
- Neural network-guided synthesis of recursive list functions
This page was built for publication: Automating string processing in spreadsheets using input-output examples
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408553)
