Automating string processing in spreadsheets using input-output examples
From MaRDI portal
Recommendations
Cited in
(24)- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
- AUTOMAT[\texttt{R}]IX: learning simple matrix pipelines
- Inductive logic programming at 30
- Automatic synthesis of data-flow analyzers
- Learning higher-order logic programs
- Algebra-based synthesis of loops and their invariants (invited paper)
- Minimal synthesis of string to string functions from examples
- Predictive spreadsheet autocompletion with constraints
- Programming by predicates: a formal model for interactive synthesis
- Computing programs for generalized planning using a classical planner
- Learning efficient logic programs
- Transforming spreadsheet data types using examples
- Connecting program synthesis and reachability: automatic program repair using test-input generation
- Scaling enumerative program synthesis via divide and conquer
- scientific article; zbMATH DE number 5526037 (Why is no real title available?)
- Solving program sketches with large integer values
- Iterative genetic improvement: scaling stochastic program synthesis
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
- Can language models automate data wrangling?
- Program synthesis with best-first bottom-up search
- Neural network-guided synthesis of recursive list functions
- Inductive synthesis of structurally recursive functional programs from non-recursive expressions
- An empirical comparison of cost functions in inductive logic programming
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
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)
