Safe Haskell	None
Language	Haskell2010

DataFrame.Synthesis

Synopsis

generateConditions :: TypedColumn Double -> [Expr Bool] -> [Expr Double] -> DataFrame -> [Expr Bool]
generatePrograms :: Bool -> [Expr Bool] -> [Expr Double] -> [Expr Double] -> [Expr Double] -> [Expr Double]
isLiteral :: Expr a -> Bool
isConditional :: Expr a -> Bool
deduplicate :: Columnable a => DataFrame -> [Expr a] -> [(Expr a, TypedColumn a)]
equivalent :: DataFrame -> Expr Double -> Expr Double -> Bool
synthesizeFeatureExpr :: Text -> BeamConfig -> DataFrame -> Either String (Expr Double)
f1FromBinary :: Vector Double -> Vector Double -> Maybe Double
f1FromCounts :: Int -> Int -> Int -> Maybe Double
fitClassifier :: Text -> Int -> Int -> DataFrame -> Either String (Expr Int)
percentiles :: DataFrame -> [Expr Double]
roundToSigDigits :: Int -> Double -> Double
roundTo2SigDigits :: Double -> Double
fitRegression :: Text -> Int -> Int -> DataFrame -> Either String (Expr Double)
data LossFunction
- = PearsonCorrelation
- | MutualInformation
- | MeanSquaredError
- | F1
getLossFunction :: LossFunction -> Vector Double -> Vector Double -> Maybe Double
data BeamConfig = BeamConfig {
- searchDepth :: Int
- beamLength :: Int
- lossFunction :: LossFunction
- includeConditionals :: Bool
}
defaultBeamConfig :: BeamConfig
beamSearch :: DataFrame -> BeamConfig -> TypedColumn Double -> [Expr Double] -> [Expr Bool] -> [Expr Double] -> Maybe (Expr Double)
pickTopN :: DataFrame -> TypedColumn Double -> BeamConfig -> [(Expr Double, TypedColumn a)] -> [Expr Double]
pickTopNBool :: DataFrame -> TypedColumn Double -> [(Expr Bool, TypedColumn Bool)] -> [Expr Bool]
satisfiesExamples :: DataFrame -> TypedColumn Double -> Expr Double -> Bool

Documentation

generateConditions :: TypedColumn Double -> [Expr Bool] -> [Expr Double] -> DataFrame -> [Expr Bool] Source #

generatePrograms :: Bool -> [Expr Bool] -> [Expr Double] -> [Expr Double] -> [Expr Double] -> [Expr Double] Source #

isLiteral :: Expr a -> Bool Source #

isConditional :: Expr a -> Bool Source #

deduplicate :: Columnable a => DataFrame -> [Expr a] -> [(Expr a, TypedColumn a)] Source #

equivalent :: DataFrame -> Expr Double -> Expr Double -> Bool Source #

Checks if two programs generate the same outputs given all the same inputs.

synthesizeFeatureExpr Source #

Arguments

:: Text	Target expression
-> BeamConfig
-> DataFrame
-> Either String (Expr Double)

f1FromBinary :: Vector Double -> Vector Double -> Maybe Double Source #

f1FromCounts :: Int -> Int -> Int -> Maybe Double Source #

fitClassifier Source #

Arguments

:: Text	Target expression
-> Int	Depth of search (Roughly, how many terms in the final expression)
-> Int	Beam size - the number of candidate expressions to consider at a time.
-> DataFrame
-> Either String (Expr Int)

percentiles :: DataFrame -> [Expr Double] Source #

roundToSigDigits :: Int -> Double -> Double Source #

roundTo2SigDigits :: Double -> Double Source #

fitRegression Source #

Arguments

:: Text	Target expression
-> Int	Depth of search (Roughly, how many terms in the final expression)
-> Int	Beam size - the number of candidate expressions to consider at a time.
-> DataFrame
-> Either String (Expr Double)

data LossFunction Source #

Constructors

PearsonCorrelation
MutualInformation
MeanSquaredError
F1

getLossFunction :: LossFunction -> Vector Double -> Vector Double -> Maybe Double Source #

data BeamConfig Source #

Constructors

BeamConfig
Fields searchDepth :: Int beamLength :: Int lossFunction :: LossFunction includeConditionals :: Bool

defaultBeamConfig :: BeamConfig Source #

beamSearch Source #

Arguments

:: DataFrame
-> BeamConfig	Parameters of the beam search.
-> TypedColumn Double	Examples
-> [Expr Double]	Constants
-> [Expr Bool]	Conditions
-> [Expr Double]	Programs
-> Maybe (Expr Double)

pickTopN :: DataFrame -> TypedColumn Double -> BeamConfig -> [(Expr Double, TypedColumn a)] -> [Expr Double] Source #

pickTopNBool :: DataFrame -> TypedColumn Double -> [(Expr Bool, TypedColumn Bool)] -> [Expr Bool] Source #

satisfiesExamples :: DataFrame -> TypedColumn Double -> Expr Double -> Bool Source #