12 citations · 14 across the 4 of their papers we have counts for
5 papers
Reset Early, Reset Often, Eliminate Models
Martin S. Fixman, Fredrik Rømming, Sean B. Holden
Connection-tableau provers typically construct closed tableaux by backtracking search. This gives lightweight proof procedures, but their low-memory search state leaves little deri…
Imitation Learning for Connection-Tableau Construction
Fredrik Rømming, Mantas Bakšys, Martin S. Fixman +1
An automated theorem prover builds a proof step by step, choosing at each point what to add and what to remove. We cast this construction as a policy acting in a transition system…
PALMS: A Computational Implementation for Pavlovian Associative Learning Models' Simulation
Martin Fixman, Alessandro Abati, Julián Jiménez Nimmo +2
In contrast to static formalisms, computational definitions describe the operational mechanisms of a model. Simulations are an essential part of the cycle of theory development and…
Comparison of Feature Extraction Methods and Predictors for Income Inference
Martin Fixman, Martin Minnoni, Carlos Sarraute
Patterns of mobile phone communications, coupled with the information of the social network graph and financial behavior, allow us to make inferences of users' socio-economic attri…
A Bayesian Approach to Income Inference in a Communication Network
Martin Fixman, Ariel Berenstein, Jorge Brea +3
The explosion of mobile phone communications in the last years occurs at a moment where data processing power increases exponentially. Thanks to those two changes in a global scale…