{"id":"https://openalex.org/W4404351579","doi":"https://doi.org/10.1145/3677052.3698678","title":"Reducing Return Volatility in Neural Network-Based Asset Allocation via Formal Verification and Certified Training","display_name":"Reducing Return Volatility in Neural Network-Based Asset Allocation via Formal Verification and Certified Training","publication_year":2024,"publication_date":"2024-11-14","ids":{"openalex":"https://openalex.org/W4404351579","doi":"https://doi.org/10.1145/3677052.3698678"},"language":"en","primary_location":{"id":"doi:10.1145/3677052.3698678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677052.3698678","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677052.3698678","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM International Conference on AI in Finance","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3677052.3698678","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062723207","display_name":"Edward Stevinson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104364","display_name":"Global Security Intelligence (United Kingdom)","ror":"https://ror.org/01ag8d960","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210104364"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Edward Stevinson","raw_affiliation_strings":["Imperial College London, United Kingdom and Safe Intelligence, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0000-2368-0430","affiliations":[{"raw_affiliation_string":"Imperial College London, United Kingdom and Safe Intelligence, United Kingdom","institution_ids":["https://openalex.org/I4210104364","https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015045050","display_name":"Alessio Lomuscio","orcid":"https://orcid.org/0000-0003-3420-723X"},"institutions":[{"id":"https://openalex.org/I4210104364","display_name":"Global Security Intelligence (United Kingdom)","ror":"https://ror.org/01ag8d960","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210104364"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessio Lomuscio","raw_affiliation_strings":["Safe Intelligence, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-3420-723X","affiliations":[{"raw_affiliation_string":"Safe Intelligence, United Kingdom","institution_ids":["https://openalex.org/I4210104364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062723207"],"corresponding_institution_ids":["https://openalex.org/I4210104364","https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24391072,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11413","display_name":"Risk and Portfolio Optimization","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11413","display_name":"Risk and Portfolio Optimization","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11326","display_name":"Stock Market Forecasting Methods","score":0.9452000260353088,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12394","display_name":"Insurance and Financial Risk Management","score":0.9438999891281128,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.649573802947998},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5934817790985107},{"id":"https://openalex.org/keywords/volatility","display_name":"Volatility (finance)","score":0.5608519315719604},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5303764343261719},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31683045625686646},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.22869068384170532},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.1780824363231659},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.1173156201839447}],"concepts":[{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.649573802947998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5934817790985107},{"id":"https://openalex.org/C91602232","wikidata":"https://www.wikidata.org/wiki/Q756115","display_name":"Volatility (finance)","level":2,"score":0.5608519315719604},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5303764343261719},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31683045625686646},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.22869068384170532},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.1780824363231659},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.1173156201839447},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3677052.3698678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677052.3698678","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677052.3698678","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM International Conference on AI in Finance","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3677052.3698678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3677052.3698678","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3677052.3698678","source":null,"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM International Conference on AI in Finance","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4000000059604645}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404351579.pdf"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1583837637","https://openalex.org/W2346933546","https://openalex.org/W2604738573","https://openalex.org/W2608239929","https://openalex.org/W2747329762","https://openalex.org/W2954153718","https://openalex.org/W2991226929","https://openalex.org/W3090972680","https://openalex.org/W3124098225","https://openalex.org/W3132756573","https://openalex.org/W3135693135","https://openalex.org/W4224235850","https://openalex.org/W4245674960","https://openalex.org/W4385570096","https://openalex.org/W4388503595"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2066052364","https://openalex.org/W4243365217","https://openalex.org/W2224296908","https://openalex.org/W2023743128","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113"],"abstract_inverted_index":{"Allocating":[0],"investments":[1],"across":[2],"a":[3,55,88,93,180,190],"portfolio":[4],"is":[5],"fundamental":[6],"in":[7,38,90,161],"asset":[8],"management.":[9],"Whilst":[10],"neural":[11],"networks":[12,133,158],"(NNs)":[13],"can":[14],"provide":[15],"deeper":[16],"insights":[17],"into":[18],"market":[19],"dynamics,":[20],"they":[21],"may":[22],"exhibit":[23,140],"undesirable":[24],"behaviour":[25],"under":[26],"small":[27],"perturbations":[28],"to":[29,35,43,68,75,87,113,154,163,204],"their":[30,36,121,168],"inputs.":[31],"This":[32,63,176],"poses":[33],"risks":[34],"use":[37,110],"automated":[39],"investment":[40],"strategies":[41],"due":[42],"noisy":[44],"signals.":[45],"Formal":[46],"verification":[47],"methods":[48,67],"deterministically":[49],"ascertain":[50],"if":[51],"any":[52,80],"input":[53,81,146],"within":[54],"range":[56],"produces":[57],"outputs":[58],"that":[59,83,130,199],"meet":[60],"predefined":[61],"constraints.":[62],"paper":[64],"introduces":[65],"these":[66,102,118],"the":[69,100,115,187,194,202,213],"financial":[70],"domain,":[71],"developing":[72],"an":[73],"approach":[74,178],"determine":[76],"whether":[77],"there":[78],"exists":[79],"perturbation":[82],"would":[84,103,200],"have":[85,104],"led":[86],"change":[89],"allocation":[91,96,142,197],"above":[92],"threshold,":[94],"termed":[95],"spikes,":[97,119],"and":[98,120,167,185],"measures":[99],"impact":[101,122],"had":[105],"on":[106,123,137],"returns.":[107,124],"Additionally,":[108],"we":[109,128],"certified":[111],"training":[112],"reduce":[114,149],"presence":[116],"of":[117,182,189,196,215],"Demonstrating":[125],"our":[126],"method,":[127],"show":[129],"temporal":[131],"convolutional":[132],"(TCNs)":[134],"performing":[135],"well":[136],"standard":[138,208],"backtests":[139],"large":[141],"spikes":[143,198],"with":[144],"minor":[145],"variations,":[147],"which":[148],"cumulative":[150,169],"returns":[151,170],"by":[152],"up":[153,162],"28%.":[155],"Certifiably":[156],"trained":[157],"are":[159],"robust":[160],"25%":[164],"more":[165],"allocations":[166],"suffer":[171],"considerably":[172],"less":[173],"from":[174],"spikes.":[175],"architecture-invariant":[177],"provides":[179],"means":[181],"quantitatively":[183],"measuring":[184],"improving":[186],"robustness":[188],"model,":[191],"thus":[192],"reducing":[193],"risk":[195,214],"cause":[201],"model":[203],"perform":[205],"worse":[206],"than":[207],"backtesting":[209],"suggests,":[210],"thereby":[211],"mitigating":[212],"deploying":[216],"such":[217],"models.":[218]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}