Interface: SynthesizeRequest
@kortexya/reasoninglayer / SynthesizeRequest
Interface: SynthesizeRequest
Section titled “Interface: SynthesizeRequest”Defined in: src/types/ilp.ts:196
Request for neural-guided rule synthesis.
Remarks
Section titled “Remarks”Combines ILP with optional GFlowNet-guided sampling to synthesize rules from training examples.
Properties
Section titled “Properties”examples
Section titled “examples”examples:
TrainingExample[]
Defined in: src/types/ilp.ts:198
Training examples as input/output pairs.
maxProposals?
Section titled “maxProposals?”
optionalmaxProposals?:number|null
Defined in: src/types/ilp.ts:200
Maximum proposals to try.
targetSort
Section titled “targetSort”targetSort:
string
Defined in: src/types/ilp.ts:202
Target sort name to synthesize rules for.
useGflownet?
Section titled “useGflownet?”
optionaluseGflownet?:boolean
Defined in: src/types/ilp.ts:204
Whether to use GFlowNet-guided sampling.